Logics for the Relational Syllogistic

Review of Symbolic Logic

Volumn 2, Issue 4, 2009, Pages 647-683

  Pratt Hartmann, Ian ^a   Moss, Lawrence S ^b  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

^b INDIANA UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84989179794     PISSN: 17550203     EISSN: 17550211     Source Type: Journal    
DOI: 10.1017/S1755020309990086     Document Type: Review

References (20)

1. Arnauld, A. (1662). Logic, or, the Art of Thinking ("The Port-Royal Logic"). tr. Dickoff, J., James, P. Indianapolis: Bobbs-Merrill, 1964.
2. Corcoran, J. (1972). Completeness of an ancient logic. The Journal of Symbolic Logic, 37(4), 696-702.
3. De Morgan, A. (1847). Formal Logic: or, the Calculus of Inference, Necessary and Probable. London: Taylor and Walton.
4. De Morgan, A. (1860). On the syllogism, Part IV. Transactions of the Cambridge Philosophical Society, 10, 331-357.
5. Englebretsen, G. (1981). Three Logicians. Assen, The Netherlands: Van Gorcum.
6. Grädel, E., Kolaitis, P., Vardi, M. (1997). On the decision problem for two-variable first-order logic. The Bulletin of Symbolic Logic, 3(1), 53-69.
7. Harel, D., Kozen, D., Tiuryn, J. (2000). Dynamic Logic. Cambridge, MA: MIT Press.
8. Ukasiewicz, J. (1957). Aristotle's Syllogistic (second edition). Oxford, UK: Clarendon Press.
9. Martin, J. N. (1997). Aristotle's natural deduction revisited. History and Philosophy of Logic, 18(1), 1-15.
10. McAllester, D. A., Givan, R. (1992). Natural language syntax and first-order inference. Artificial Intelligence, 56, 1-20.
11. Merrill D. D.,1990. Augustus De Morgan and the Logic of Relations. Dordrecht, The Netherlands: Kluwer Academic Publishers.
12. Moss, L. S. (to appear). Syllogistic logics with verbs. Journal of Logic and Computation.doi: 10.1093/logcom/exn086.
13. Moss, L. S. (2007). Syllogistic logic with complements. Manuscript, Indiana University.
14. Moss, L. S. (2008). Completeness theorems for syllogistic fragments. In Hamm, F., Kepser, S., editors. Logics for Linguistic Structures. Berlin: Mouton de Gruyter, pp. 143-173.
15. Nishihara, N., Morita, K., Iwata, S. (1990). An extended syllogistic system with verbs and proper nouns, and its completeness proof. Systems and Computers in Japan, 21(1), 760-771.
16. Papadimitriou, C. H. (1994). Computational Complexity. Reading, MA: Addison-Wesley.
17. Pratt-Hartmann, I. (2004). Fragments of language. Journal of Logic, Language and Information, 13, 207-223.
18. Smiley, T. J. (1973). What is a syllogism Journal of Philosophical Logic, 2, 135-154.
19. Sommers, F. (1982). The Logic of Natural Language. Oxford, UK: Clarendon Press.
20. Westerst°ahl, D. (1989). Aristotelian syllogisms and generalized quantifiers. Studia Logica, XLVIII(4), 577-585.