Syllogistic Logic with Comparative Adjectives
First Online: 26 April 2011 DOI:
10.1007/s10849-011-9137-x Cite this article as: Moss, L.S. J of Log Lang and Inf (2011) 20: 397. doi:10.1007/s10849-011-9137-x Abstract
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.
Keywords Syllogistic logic Completeness Adjectives Transitive relations References
Grädel E., Otto M., Rosen E. (1999) Undecidability results on two-variable logics. Archive for Mathematical Logic 38: 313–354
Klein E. (1980) A semantics for positive and comparative adjectives. Linguistics and Philosophy 4(1): 1–45
Mortimer M. (1975) On languages with two variables. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 21: 135–140
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).
Pratt-Hartmann, I., & Moss, L. S. (2009). Logics for the relational syllogistic.
Review of Symbolic Logic, 2(3), 37 (To appear).
Purdy W. C. (2006) Inexpressiveness of first-order fragments. Australasian Journal of Logic 4: 1–12
Ziegler, S. (2008).
Some completeness results in syllogistic logic. Student Reports, Research Experience for Undergraduates Program, Indiana University. Copyright information
© Springer Science+Business Media B.V. 2011