Showing math.LOShow all
2 papers · 1 filter
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…
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…