{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T08:52:48Z","timestamp":1777539168031,"version":"3.51.4"},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2012,8,25]],"date-time":"2012-08-25T00:00:00Z","timestamp":1345852800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J of Log Lang and Inf"],"published-print":{"date-parts":[[2012,10]]},"DOI":"10.1007\/s10849-012-9165-1","type":"journal-article","created":{"date-parts":[[2012,8,24]],"date-time":"2012-08-24T12:27:19Z","timestamp":1345811239000},"page":"433-459","source":"Crossref","is-referenced-by-count":4,"title":["A System of Relational Syllogistic Incorporating Full Boolean Reasoning"],"prefix":"10.1007","volume":"21","author":[{"given":"Nikolay","family":"Ivanov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dimiter","family":"Vakarelov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,8,25]]},"reference":[{"key":"9165_CR1","first-page":"29","volume":"81","author":"P. Balbiani","year":"2007","unstructured":"Balbiani P., Tinchev T., Vakarelov D. (2007a) Modal Logics for region-based theory of space. Fundamenta Informaticae 81: 29\u201382","journal-title":"Fundamenta Informaticae"},{"key":"9165_CR2","doi-asserted-by":"crossref","first-page":"39","DOI":"10.3166\/jancl.17.39-61","volume":"17","author":"P. Balbiani","year":"2007","unstructured":"Balbiani P., Tinchev T., Vakarelov D. (2007b) Dynamic logics of the region-based theory of discrete spaces. Journal of Applied Non-Classical Logics 17: 39\u201361","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"9165_CR3","doi-asserted-by":"crossref","first-page":"599","DOI":"10.1002\/cpa.3160330503","volume":"33","author":"A. Ferro","year":"2006","unstructured":"Ferro A., Omodeo E. G., Schwartz J. T. (2006) Decision procedures for elementary sublanguages of set theory. I. Multilevel syllogistic and some extensions. Communications on pure and Applied Mathematics 33: 599\u2013608","journal-title":"Communications on pure and Applied Mathematics"},{"key":"9165_CR4","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1007\/978-1-4613-0897-3_17","volume-title":"Mathematical logic and its applications","author":"G. Gargov","year":"1987","unstructured":"Gargov G., Passy S., Tinchev T. (1987) Modal environment for Boolean speculations. In: Skordev D. (Ed.), Mathematical logic and its applications. Plenum Press, New York, pp 253\u2013263"},{"key":"9165_CR5","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1007\/978-1-4613-0609-2_21","volume-title":"Mathematical logic","author":"G. Gargov","year":"1990","unstructured":"Gargov G., Passy S. (1990) A note on Boolean modal logic. In: Petkov P. (Ed.), Mathematical logic. Plenum Press, New York, pp 299\u2013309"},{"key":"9165_CR6","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1007\/978-1-4613-0609-2_22","volume-title":"Mathematical logic","author":"V. Goranko","year":"1990","unstructured":"Goranko V. (1990) Completeness and incompleteness in the bimodal base L(R,-R). In: Petkov P. (Ed.), Mathematical logic. Plenum Press, New York, pp 311\u2013326"},{"key":"9165_CR7","unstructured":"Ivanov, N. A. (2009). Relational Syllogistics. Master\u2019s thesis (in Bulgarian), Sofia University."},{"key":"9165_CR8","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1023\/A:1014425907059","volume":"34","author":"M. Y. Khayata","year":"2002","unstructured":"Khayata M. Y., Pacholczyk D., Garcia L. (2002) A Qualitative Approach to Syllogistic Reasoning. Annals of Mathematics and Artificial Intelligence 34: 131\u2013159","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"9165_CR9","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1006\/jecp.1999.2542","volume":"76","author":"H. J. Leevers","year":"2000","unstructured":"Leevers H. J., Harris P. L. (2000) Counterfactual Syllogistic Reasoning in Normal 4-Year-Olds, Children with Learning Disabilities, and Children with Autism. Journal of Experimental Child Psychology 76: 64\u201387","journal-title":"Journal of Experimental Child Psychology"},{"key":"9165_CR10","volume-title":"Aristotle\u2019s Syllogistic from the standpoint of modern formal logic","author":"J. \u0141ukasiewicz","year":"1957","unstructured":"\u0141ukasiewicz J. (1957) Aristotle\u2019s Syllogistic from the standpoint of modern formal logic, 2nd ed. Clarendon Press, Oxford","edition":"2"},{"key":"9165_CR11","first-page":"329","volume-title":"Advances in Modal Logic volume 3","author":"C. Lutz","year":"2001","unstructured":"Lutz C., Sattler U. (2001) The complexity of reasoning with Boolean modal logics. In: Wolter F., Wansing H., de Rijke M., Zakharyaschev M. (Eds.), Advances in Modal Logic volume 3. CSLI Publications, Stanford, pp 329\u2013348"},{"key":"9165_CR12","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(92)90063-4","volume":"56","author":"D. A. McAllester","year":"1992","unstructured":"McAllester D. A., Givan R. (1992) Natural language syntax and first-order inference. Artificial Intelligence 56: 1\u201320","journal-title":"Artificial Intelligence"},{"key":"9165_CR13","unstructured":"Moss, L. S. (2007). Syllogistic logic with complements. Retrieved from Indiana University website: http:\/\/www.indiana.edu\/~iulg\/moss\/comp2.pdf ."},{"key":"9165_CR14","unstructured":"Moss, L. S. (2008, September). Relational syllogistic logics and other connections between modal logic and natural logic. In Presented at AiML, Nancy; based on work with Ian Pratt-Hartmann. Available at http:\/\/aiml08.loria.fr\/talks\/moss.pdf ."},{"key":"9165_CR15","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1515\/9783110211788.143","volume-title":"Logics for linguistic structures","author":"L. S. Moss","year":"2008","unstructured":"Moss L. S. (2008) Completeness theorems for syllogistic fragments. In: Hamm F., Kepser S. (Eds.), Logics for linguistic structures. Mouton de Gruyter, Berlin, pp 143\u2013174"},{"key":"9165_CR16","doi-asserted-by":"crossref","first-page":"947","DOI":"10.1093\/logcom\/exn086","volume":"20","author":"L. S. Moss","year":"2010","unstructured":"Moss L. S. (2010) Syllogistic logics with verbs. Journal of Logic and Computation 20: 947\u2013967","journal-title":"Journal of Logic and Computation"},{"key":"9165_CR17","first-page":"760","volume":"21","author":"N. Nishihara","year":"1990","unstructured":"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: 760\u2013771","journal-title":"Systems and Computers in Japan"},{"key":"9165_CR18","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1007\/978-94-011-5108-5_23","volume-title":"The Lvow-Warsaw Scholl and contemporary philosophy","author":"E. Orlowska","year":"1998","unstructured":"Orlowska E. (1998) Studying incompleteness of information: A class of information logics. In: Kijania- Placek K., Wole\u0144ski J. (Eds.), The Lvow-Warsaw Scholl and contemporary philosophy. Kluwer, Dordrecht, pp 283\u2013300"},{"key":"9165_CR19","first-page":"57","volume-title":"Argumentation in Theorie und Praxis: Philosophie und Didaktik des Argumentierens","author":"N. Pfeifer","year":"2006","unstructured":"Pfeifer N. (2006) Contemporary syllogistics: Comparative and quantitative syllogisms. In: Krenzebauer G., Doren G. J. W. (Eds.), Argumentation in Theorie und Praxis: Philosophie und Didaktik des Argumentierens. LIT, Wien, pp 57\u201371"},{"key":"9165_CR20","first-page":"214","volume-title":"Psychology of reasoning. Theoretical and historical perspectives","author":"G. Politzer","year":"2004","unstructured":"Politzer G. (2004) Some precursors of current theories of syllogistic reasoning. In: Manktelow K., Chung M.-C. (Eds.), Psychology of reasoning. Theoretical and historical perspectives. Psychology Press, Hove, pp 214\u2013240"},{"key":"9165_CR21","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1007\/s10849-005-5791-1","volume":"14","author":"I. Pratt-Hartmann","year":"2005","unstructured":"Pratt-Hartmann I. (2005) Complexity of the two-variable fragment with counting quantifiers. Journal of Logic, Language and Information 14: 369\u2013395","journal-title":"Journal of Logic, Language and Information"},{"key":"9165_CR22","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1023\/B:JLLI.0000024735.97006.5a","volume":"13","author":"I. Pratt-Hartmann","year":"2004","unstructured":"Pratt-Hartmann I. (2004) Fragments of language. Journal of Logic, Language and Information 13: 207\u2013223","journal-title":"Journal of Logic, Language and Information"},{"key":"9165_CR23","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2178\/bsl\/1208358842","volume":"14","author":"I. Pratt-Hartmann","year":"2008","unstructured":"Pratt-Hartmann I. (2008) On the computational complexity of the numerically definite syllogistic and related logics. Bulletin of Symbolic Logic 14: 1\u201328","journal-title":"Bulletin of Symbolic Logic"},{"key":"9165_CR24","doi-asserted-by":"crossref","unstructured":"Pratt-Hartmann, I. (2009). No syllogisms for the numerical syllogistic. In Languages: From formal to natural, Vol. 5533 of LNCS, pp. 192\u2013203, Springer.","DOI":"10.1007\/978-3-642-01748-3_13"},{"key":"9165_CR25","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1305\/ndjfl\/1153858644","volume":"47","author":"I. Pratt-Hartmann","year":"2006","unstructured":"Pratt-Hartmann I., Third A. (2006) More fragments of language. Notre Dame Journal of Formal Logic 47: 151\u2013177","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9165_CR26","doi-asserted-by":"crossref","first-page":"647","DOI":"10.1017\/S1755020309990086","volume":"2","author":"I. Pratt-Hartmann","year":"2009","unstructured":"Pratt-Hartmann I., Moss L. S. (2009) Logics for the relational syllogistic. The Review of Symbolic Logic 2: 647\u2013683","journal-title":"The Review of Symbolic Logic"},{"key":"9165_CR27","doi-asserted-by":"crossref","first-page":"409","DOI":"10.1305\/ndjfl\/1093635837","volume":"32","author":"W. C. Purdy","year":"1991","unstructured":"Purdy W. C. (1991) Studies on Natural Language. Notre Dame Journal of Formal Logic 32: 409\u2013425","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9165_CR28","doi-asserted-by":"crossref","unstructured":"Rayside, D., & Kontogiannis, K. (2001). On the syllogistic structure of object-oriented programming. In Presented at the 23rd international conference on software engineering (ICSE\u201901).","DOI":"10.1109\/ICSE.2001.919086"},{"key":"9165_CR29","doi-asserted-by":"crossref","first-page":"137","DOI":"10.2307\/2268752","volume":"21","author":"J. Shepherdson","year":"1956","unstructured":"Shepherdson J. (1956) On the interpretation of Aristotelian syllogistic. Journal of Symbolic Logic 21: 137\u2013147","journal-title":"Journal of Symbolic Logic"},{"key":"9165_CR30","unstructured":"Thorne, C., & Calvanese, D. (2009). The data complexity of the syllogistic fragments of English. In Proceedings of the 17th Amsterdam colloquium conference on Logic, language and meaning 2009, pp. 114\u2013123."},{"key":"9165_CR31","unstructured":"Van der Does, J., & Van Eijck, J. (Eds.). (1996). Basic quantifier theory. In Quantifiers, logic, and language (pp. 1\u201345). Stanford: CSLI."},{"key":"9165_CR32","doi-asserted-by":"crossref","unstructured":"Van Eijck, J. (2007). Natural logic for natural language. In B. Ten Cate & H. Zeevat (Eds.) Logic, language, and computation, Springer. Presented at 6-th international Tbilisi symposium on logic, language, and computation, Batumi, Georgia, pp. 216\u2013230. September 12\u201316, 2005.","DOI":"10.1007\/978-3-540-75144-1_16"},{"key":"9165_CR33","first-page":"299","volume":"15","author":"A. Wedberg","year":"1948","unstructured":"Wedberg A. (1948) The Aristotelian theory of classes. Ajatus 15: 299\u2013314","journal-title":"Ajatus"},{"key":"9165_CR34","doi-asserted-by":"crossref","first-page":"577","DOI":"10.1007\/BF00370209","volume":"48","author":"D. Westerst\u00e5hl","year":"1989","unstructured":"Westerst\u00e5hl D. (1989) Aristotelian syllogisms and generalized quantifiers. Studia Logica 48: 577\u2013585","journal-title":"Studia Logica"}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-012-9165-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10849-012-9165-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-012-9165-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,25]],"date-time":"2023-06-25T12:12:56Z","timestamp":1687695176000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10849-012-9165-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,8,25]]},"references-count":34,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2012,10]]}},"alternative-id":["9165"],"URL":"https:\/\/doi.org\/10.1007\/s10849-012-9165-1","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"value":"0925-8531","type":"print"},{"value":"1572-9583","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,8,25]]}}}