Syllogistic Logic with "Most"

This paper presents a sound and complete proof system for the logical system whose sentences are of the form AllXareY, Some X are Y and Most X are Y, where we interpret these sentences on finite models, with the meaning of “most” being “strictly more than half.” Our proof system is syllogistic; there are no individual variables.

[1]  Erich Grädel,et al.  Undecidability results on two-variable logics , 1997, Arch. Math. Log..

[2]  Ian Pratt-Hartmann.  No Syllogisms for the Numerical Syllogistic , 2009, Languages: From Formal to Natural.

[3]  Lawrence S. Moss,et al.  LOGICS FOR THE RELATIONAL SYLLOGISTIC , 2008, The Review of Symbolic Logic.

[4]  Viktor Kuncak,et al.  Polynomial Constraints for Sets with Cardinality Bounds , 2007, FoSSaCS.

[5]  Fritz Hamm,et al.  Completeness theorems for syllogistic fragments , 2008 .

[6]  Shmuel Katz,et al.  Languages: From Formal to Natural , 2009, Lecture Notes in Computer Science.