Syllogistic logics with verbs

Journal of Logic and Computation

Volumn 20, Issue 4, 2010, Pages 947-967

  Moss, Lawrence S ^a  

^a INDIANA UNIVERSITY   (United States)

Author keywords

completeness theorem; Syllogism

Indexed keywords

ARTIFICAL INTELLIGENCE; COMPLETENESS THEOREMS; LOGICAL SYSTEM; NOUN PHRASE; RELATIVE CLAUSE;

FORMAL LOGIC;

EID: 77954972444     PISSN: 0955792X     EISSN: 1465363X     Source Type: Journal    
DOI: 10.1093/logcom/exn086     Document Type: Article

References (12)

1. J. van Benthem. Essays in Logical Semantics. Reidel, Dordrecht, 1986.
2. E. Grädel, P. G. Kolaitis, and M. Y. Vardi. On the decision problem for two-variable first-order logic. Bulletin Symbolic Logic, 3, 53-69, 1997.
3. J. Łukasiewicz. Aristotle's Syllogistic from the Standpoint of Modern Formal Logic. Clarendon Press, Oxford, 1951.
4. D. McAllester and R. Givan. Natural language syntax and first order inference. Artificial Intelligence, 56, 1-20, 1992.
5. L. S. Moss. Completeness theorems for syllogistic fragments. In Logics for Linguistic Structures, F. Hamm and S. Kepser, eds, Mouton de Gruyter, 2008.
6. L. S. Moss. Syllogistic Logic with Complements. Ms, Indiana University, 2007.
7. N. Nishihara, K. Morita, and S. Iwata. An extended syllogistic system with verbs and proper nouns, and its completeness proof. Systems and Computers in Japan, 21, 96-111, 1990.
8. I. Pratt-Hartmann. A two-variable fragment of English. Journal of Logic, Language, and Information, 12, 13-45, 2003.
9. I. Pratt-Hartmann. Fragments of language. Journal of Logic, Language, and Information, 13, 207-223, 2004.
10. I. Pratt-Hartmann and L. S. Moss. Logics for the relational syllogistic. Ms., University of Manchester, 2008.
11. D. Westerståhl. Aristotelian syllogisms and generalized quantifiers. Studia Logica, XLVIII, 577-585, 1989.
12. S. Ziegler. Some completeness results in syllogistic logic. Student Reports, Research Experience for Undergraduates Program, Indiana University, 2008.