A System of Relational Syllogistic Incorporating Full Boolean Reasoning

[1]  Ulrike Sattler,et al.  The Complexity of Reasoning with Boolean Modal Logics , 2000, Advances in Modal Logic.

[2]  Fritz Hamm,et al.  Completeness theorems for syllogistic fragments , 2008 .

[3]  Tinko Tinchev,et al.  Modal Environment for Boolean Speculations , 1987 .

[4]  John C. Shepherdson.  On the Interpretation of Aristotelian Syllogistic , 1956, J. Symb. Log..

[5]  Ian Pratt-Hartmann,et al.  Fragments of Language , 2004, J. Log. Lang. Inf..

[6]  Ewa Orłowska,et al.  Studying Incompleteness of Information: A Class of Information Logics , 1998 .

[7]  Ian Pratt-Hartmann.  No Syllogisms for the Numerical Syllogistic , 2009, Languages: From Formal to Natural.

[8]  Niki Pfeifer.  Contemporary syllogistics: Comparative and quantitative syllogisms , 2006 .

[9]  Noritaka Nishihara,et al.  An extended syllogistic system with verbs and proper nouns, and its completeness proof , 1990, Systems and Computers in Japan.

[10]  Jan Łukasiewicz.  Aristotle's Syllogistic From the Standpoint of Modern Formal Logic , 1957 .

[11]  Vincenzo Cutello,et al.  Decision procedures for elementary sublanguages of set theory , 2004, Journal of Automated Reasoning.

[12]  William C. Purdy,et al.  A Logic for Natural Language , 1991, Notre Dame J. Formal Log..

[13]  Robert Givan,et al.  Natural Language Syntax and First-Order Inference , 1992, Artificial Intelligence.

[14]  Derek Rayside,et al.  On the syllogistic structure of object-oriented programming , 2001, Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001.

[15]  Dimiter Vakarelov,et al.  Modal Logics for Region-based Theories of Space , 2007, Fundam. Informaticae.

[16]  Lawrence S. Moss,et al.  Completeness Theorems for Syllogistic Fragments , 2007 .

[17]  V. Goranko.  Completeness and Incompleteness in the Bimodal Base ℒ(R,−R) , 1990 .

[18]  Daniel Pacholczyk,et al.  A Qualitative Approach to Syllogistic Reasoning , 2002, Annals of Mathematics and Artificial Intelligence.

[19]  Diego Calvanese,et al.  The Data Complexity of the Syllogistic Fragments of English , 2009, Amsterdam Colloquium on Logic, Language and Meaning.

[20]  van der Jaap Does,et al.  Basic Quantifier Theory , 1996 .

[21]  Ephrem MacCarthy,et al.  Aristotle’s Syllogistic: From the Standpoint of Modern Formal Logic , 1952 .

[22]  Allan Third,et al.  More Fragments of Language , 2006, Notre Dame J. Formal Log..

[23]  Lawrence S. Moss,et al.  Syllogistic Logic with Complements , 2011 .

[24]  Lawrence S. Moss,et al.  Syllogistic Logics with Verbs , 2010, J. Log. Comput..

[25]  Ian Pratt-Hartmann.  On the Computational Complexity of the Numerically Definite Syllogistic and Related Logics , 2008, Bull. Symb. Log..

[26]  Dimiter Vakarelov,et al.  Dynamic logics of the region-based theory of discrete spaces , 2007, J. Appl. Non Class. Logics.

[27]  Guy Politzer.  Some precursors of current theories of syllogistic reasoning , 2005 .

[28]  Jan van Eijck,et al.  Natural Logic for Natural Language , 2007, TbiLLC.

[29]  Lawrence S. Moss,et al.  LOGICS FOR THE RELATIONAL SYLLOGISTIC , 2008, The Review of Symbolic Logic.

[30]  Henk Zeevat,et al.  Logic, Language, and Computation, 6th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2005, Batumi, Georgia, September 12-16, 2005. Revised Selected Papers , 2007, TbiLLC.

[31]  J. Schwartz,et al.  Decision procedures for elementary sublanguages of set theory. I. Multi‐level syllogistic and some extensions , 1980 .

[32]  Dag Westerståhl.  Aristotelian syllogisms and generalized quantifiers , 1989, Stud Logica.

[33]  P. Harris,et al.  Counterfactual syllogistic reasoning in normal 4-year-olds, children with learning disabilities, and children with autism. , 2000, Journal of experimental child psychology.

[34]  Ian Pratt-Hartmann.  Complexity of the Two-Variable Fragment with Counting Quantifiers , 2005, J. Log. Lang. Inf..

[35]  George Gargov,et al.  A Note on Boolean Modal Logic , 1990 .