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…