Syllogistic Logic with “Most”

  • Jörg Endrullis
  • Lawrence S. MossEmail author
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9160)


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.



We thank the many people who have discussed this topic with us, including Elizabeth Kammer, Tri Lai, Ian Pratt-Hartmann, Selçuk Topal, Chloe Urbanski, Erik Wennstrom, and Sam Ziegler.


  1. 1.
    Grädel, E., Otto, M., Rosen, E.: Undecidability results on two-variable logics. Arch. Math. Logic 38(4–5), 313–354 (1999)MathSciNetzbMATHGoogle Scholar
  2. 2.
    Lai, T., Endrullis, J., Moss, L.S.: Proportionality graphs. Unpublished ms, Indiana University (2013)Google Scholar
  3. 3.
    Marnette, B., Kuncak, V., Rinard, M.: Polynomial constraints for sets with cardinality bounds. In: Seidl, H. (ed.) FOSSACS 2007. LNCS, vol. 4423, pp. 258–273. Springer, Heidelberg (2007) CrossRefGoogle Scholar
  4. 4.
    Moss, L.S.: Completeness theorems for syllogistic fragments. In: Hamm, F., Kepser, S. (eds.) Logics for Linguistic Structures, pp. 143–173. Mouton de Gruyter, Berlin (2008)Google Scholar
  5. 5.
    Pratt-Hartmann, I.: No syllogisms for the numerical syllogistic. In: Grumberg, O., Kaminski, M., Katz, S., Wintner, S. (eds.) Languages: From Formal to Natural. LNCS, vol. 5533, pp. 192–203. Springer, Heidelberg (2009) CrossRefGoogle Scholar
  6. 6.
    Pratt-Hartmann, I., Moss, L.S.: Logics for the relational syllogistic. Rev. Symb. Logic 2(4), 647–683 (2009)CrossRefMathSciNetzbMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2015

Authors and Affiliations

  1. 1.Department of Computer ScienceVU University AmsterdamAmsterdamThe Netherlands
  2. 2.Department of MathematicsIndiana UniversityBloomingtonUSA

Personalised recommendations