Results 161 to 170 of about 9,375 (201)

THE CONTINUOUS REALIZABILITY OF ENTAILMENT

Mathematical Logic Quarterly, 1983
A method is here given for modelling the Anderson-Belnap logics of positive entailment (LE) and relevant implication (LR) in established mathematical structures, notably topological spaces and finite- dimensional Banach spaces, respectively. For topological spaces four constructions are required: Function spaces, \(Y^ X\), with pointwise convergence ...
openaire   +1 more source

The differential of probabilistic entailment

Annals of Pure and Applied Logic, 2021
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +3 more sources

Entailment analysis for improving Chinese textual entailment system

2013 IEEE 14th International Conference on Information Reuse & Integration (IRI), 2013
Textual Entailment (TE) is a critical issue in natural language processing (NLP); many NLP applications can be benefited from the recognition of textual entailment (RTE). In this paper we report our observation on how to improve the Chinese textual entailment system and the experiment results on the NTCIR-10 RITE-2 dataset.
Shih-Hung Wu
exaly   +3 more sources

An ecumenical notion of entailment

Synthese, 2019
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Elaine Pimentel, Luiz Carlos Pereira, Valeria de Paiva   +2 more
openaire   +2 more sources

Entailments with Sentential Predicates

2021
A simple model accounting for entailments between sentential predicates with propositional attitude verbs is proposed. In this model no reference to propositions is made. Sentential predicates denote specific sets of sentences (of a given natural language).
openaire   +1 more source

First-order syntactic characterizations of minimal entailment, domain-minimal entailment, and Herbrand entailment

Journal of Automated Reasoning, 1993
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

Entailment

1987
AbstractThis chapter discusses the most important intensional notion: implication. Primarily, what is required is a philosophically adequate formal semantics for ‘if’ in at least one of its many senses. The Curry paradoxes, entailment, non-contraposible implications, relevant logic, and quantification and identity are discussed.
openaire   +1 more source

On Entailment

Analysis, 1975
openaire   +2 more sources

Scientific Text Entailment and a Textual-Entailment-based framework for cooking domain question answering

Sadhana - Academy Proceedings in Engineering Sciences, 2021
Alexander Gelbukh, Amarnath Pathak, Dipankar Das   +2 more
exaly  

FACT AND ENTAILMENT

Mind, 1940
openaire   +1 more source