Journal of Logic, Language and Information

, Volume 20, Issue 3, pp 397–417

Syllogistic Logic with Comparative Adjectives



This paper adds comparative adjectives to two systems of syllogistic logic. The comparatives are interpreted by transitive and irreflexive relations on the underlying domain. The main point is to obtain sound and complete axiomatizations of the valid formulas in the logics.


Syllogistic logic Completeness Adjectives Transitive relations 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Grädel E., Otto M., Rosen E. (1999) Undecidability results on two-variable logics. Archive for Mathematical Logic 38: 313–354CrossRefGoogle Scholar
  2. Klein E. (1980) A semantics for positive and comparative adjectives. Linguistics and Philosophy 4(1): 1–45CrossRefGoogle Scholar
  3. Mortimer M. (1975) On languages with two variables. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 21: 135–140CrossRefGoogle Scholar
  4. Moss, L. S. (2010). Logics for two fragments beyond the syllogistic boundary. In: A. Blass, et al. (Eds.), Studies in Honor of Yuri Gurevich, Springer LNCS, 25 pp (To appear).Google Scholar
  5. Pratt-Hartmann, I., & Moss, L. S. (2009). Logics for the relational syllogistic. Review of Symbolic Logic, 2(3), 37 (To appear).Google Scholar
  6. Purdy W. C. (2006) Inexpressiveness of first-order fragments. Australasian Journal of Logic 4: 1–12Google Scholar
  7. Ziegler, S. (2008). Some completeness results in syllogistic logic. Student Reports, Research Experience for Undergraduates Program, Indiana University.Google Scholar

Copyright information

© Springer Science+Business Media B.V. 2011

Authors and Affiliations

  1. 1.Department of MathematicsIndiana UniversityBloomingtonUSA

Personalised recommendations