3 papers
math.LO2024
A proof-theoretical approach to some extensions of first order quantification
Loïc Allègre, Ophélie Lacroix, Christian Retoré
Generalised quantifiers, which include Henkin's branching quantifiers, have been introduced by Mostowski and Lindström and developed as a substantial topic application of logic, es…
cs.LO2021
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…
math.LO2012
Variable types for meaning assembly: a logical syntax for generic noun phrases introduced by most
Christian Retoré
This paper proposes a way to compute the meanings associated with sentences with generic noun phrases corresponding to the generalized quantifier most. We call these generics speci…