2 citations · 2 across the 6 of their papers we have counts for
6 papers
Flag: a Self-Dual Modality for Non-Commutative Contraction and Duplication in the Category of Coherence Spaces
Christian Retoré
After reminding what coherences spaces are and how they interpret linear logic, we define a modality "flag" in the category of coherence spaces (or hypercoherences) with two invers…
Logical Semantics, Dialogical Argumentation, and Textual Entailment
Davide Catta, Richard Moot, Christian Retoré
In this chapter, we introduce a new dialogical system for first order classical logic which is close to natural language argumentation, and we prove its completeness with respect t…
Aristotle's square of opposition in the light of Hilbert's epsilon and tau quantifiers
Fabio Pasquali, Christian Retoré
Aristotle considered particular quantified sentences in his study of syllogisms and in his famous square of opposition. Of course, the logical formulas in Aristotle work were not m…
Classical logic and intuitionistic logic: equivalent formulations in natural deduction, Gödel-Kolmogorov-Glivenko translation
Richard Moot, Christian Retoré
This report first shows the equivalence bewteen several formulations of classical logic in intuitionistic logic (tertium non datur, reductio ad absurdum, Pierce's law). Then it est…
A type theoretical framework for natural language semantics: the Montagovian generative lexicon
Christian Retoré
We present a framework, named the Montagovian generative lexicon, for computing the semantics of natural language sentences, expressed in many sorted higher order logic. Word meani…
Quantification in ordinary language
Michele Abrusci, Christian Retoré
We firstly show that the standard interpretation of natural quantification in mathematical logic does not provide a satisfying account of its original richness. In particular, it i…