{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,6,25]],"date-time":"2023-06-25T06:11:25Z","timestamp":1687673485594},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2012,8,1]],"date-time":"2012-08-01T00:00:00Z","timestamp":1343779200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2012,8]]},"DOI":"10.1007\/s11225-012-9428-5","type":"journal-article","created":{"date-parts":[[2012,8,7]],"date-time":"2012-08-07T14:00:45Z","timestamp":1344348045000},"page":"753-785","source":"Crossref","is-referenced-by-count":4,"title":["A Generalized Syllogistic Inference System based on Inclusion and Exclusion Relations"],"prefix":"10.1007","volume":"100","author":[{"given":"Koji","family":"Mineshima","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mitsuhiro","family":"Okada","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ryo","family":"Takemura","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,8,8]]},"reference":[{"key":"9428_CR1","doi-asserted-by":"crossref","unstructured":"Corcoran, J., Aristotle\u2019s natural deduction system, in J. Corcoran (ed.), Ancient Logic and its Modern Interpretations, D. Reidel, 1974, pp. 85\u2013131.","DOI":"10.1007\/978-94-010-2130-2_6"},{"key":"9428_CR2","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1007\/s11225-010-9241-y","volume":"94","author":"N. Francez","year":"2010","unstructured":"Francez N., Dyckhoff R., Ben-Avi G.: Proof-theoretic semantics for subsentential phrases. Studia Logica 94, 381\u2013401 (2010)","journal-title":"Studia Logica"},{"key":"9428_CR3","doi-asserted-by":"crossref","unstructured":"Gentzen, G., Untersuchungen \u00fcber das logische Schlie\u00dfen, Mathematische Zeitschrift 39: 176\u2013210, 405\u2013431, 1935. (M. Szabo, ed. and trans, Investigations into logical deduction, in The Collected Papers of Gerhard Gentzen, North Holland, 1969.)","DOI":"10.1007\/BF01201363"},{"key":"9428_CR4","volume-title":"Aristotle\u2019s Syllogistic from the Standpoint of Modern Formal Logic","author":"J. \u0141ukasiewicz","year":"1957","unstructured":"\u0141ukasiewicz J.: Aristotle\u2019s Syllogistic from the Standpoint of Modern Formal Logic, Second edition. Clarendon Press, Oxford (1957)","edition":"2"},{"key":"9428_CR5","doi-asserted-by":"crossref","unstructured":"MacCartney, B., and C. Manning, Modeling semantic containment and exclusion in natural language inference, The 22nd International Conference on Computational Linguistics (Coling-08), 2008, pp. 140\u2013156.","DOI":"10.3115\/1599081.1599147"},{"key":"9428_CR6","unstructured":"Mineshima, K., M. Okada, and R. Takemura, Conservativity for a hierarchy of Euler and Venn reasoning systems, Visual Languages and Logic 2009, CEUR Series Vol. 510, 2009, pp. 37\u201361."},{"key":"9428_CR7","unstructured":"Mineshima, K., M. Okada, and R. Takemura, A diagrammatic inference system with Euler circles, to appear in Journal of Logic, Language and Information."},{"key":"9428_CR8","doi-asserted-by":"crossref","unstructured":"Mineshima, K., M. Okada, and R. Takemura, Two types of diagrammatic inference systems: natural deduction style and resolution style, in A. K. Goel, M. Jamnik, and N. H. Narayanan (eds.), Diagrams 2010, LNAI 6170, Springer, 2010, pp. 99\u2013114.","DOI":"10.1007\/978-3-642-14600-8_12"},{"key":"9428_CR9","unstructured":"Mineshima, K., M. Okada, and R. Takemura, Formalizing inferences with Euler diagrams in terms of inclusion and exclusion relations: a proof-theoretical approach, submitted."},{"key":"9428_CR10","unstructured":"Montague, R., Formal Philosophy: Selected Papers of Richard Montague, R. Thomason (ed.), Yale University Press, 1974."},{"key":"9428_CR11","doi-asserted-by":"crossref","unstructured":"Moss, L. S., Completeness theorems for syllogistic fragments, in F.Hamm and S. Kepser (eds.), Logics for Linguistic Structures, Mouton de Gruyter, 2008, 143\u2013173.","DOI":"10.1515\/9783110211788.143"},{"key":"9428_CR12","doi-asserted-by":"crossref","first-page":"947","DOI":"10.1093\/logcom\/exn086","volume":"20","author":"L. S. Moss","year":"2010","unstructured":"Moss L. S.: Syllogistic logics with verbs. Journal of Logic and Computation 20, 947\u2013967 (2010)","journal-title":"Journal of Logic and Computation"},{"key":"9428_CR13","first-page":"96","volume":"21","author":"N. Nishihara","year":"1990","unstructured":"Nishihara N., Morita K., Iwata S.: An extended syllogistic system with verbs and proper nouns, and its completeness proof. Systems Computer Japan 21, 96\u2013111 (1990)","journal-title":"Systems Computer Japan"},{"key":"9428_CR14","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.: Logics for the relational syllogistic. Review of Symbolic Logic 2, 647\u2013683 (2009)","journal-title":"Review of Symbolic Logic"},{"key":"9428_CR15","unstructured":"Prawitz, D., Natural Deduction, Almqvist & Wiksell, 1965 (Dover, 2006)."},{"key":"9428_CR16","unstructured":"S\u00e1nchez Valencia, V., Studies on Natural Logic and Categorial Grammar, PhD thesis, University of Amsterdam, 1991."},{"key":"9428_CR17","first-page":"136","volume":"1","author":"T. Smiley","year":"1974","unstructured":"Smiley T.: What is a syllogism?. Journal of Philosophical Logic 1, 136\u2013154 (1974)","journal-title":"Journal of Philosophical Logic"},{"key":"9428_CR18","doi-asserted-by":"crossref","unstructured":"Troelstra, A. S., and H. Schwichtenberg, Basic Proof Theory, 2nd edition, Cambridge University Press, 2000.","DOI":"10.1017\/CBO9781139168717"},{"key":"9428_CR19","doi-asserted-by":"crossref","unstructured":"van Benthem, J., Essays in logical semantics. D.Reidel, 1986.","DOI":"10.1007\/978-94-009-4540-1"},{"key":"9428_CR20","doi-asserted-by":"crossref","first-page":"577","DOI":"10.1007\/BF00370209","volume":"XLVIII","author":"D. Westerst\u00e5hl","year":"1989","unstructured":"Westerst\u00e5hl D.: Aristotelian syllogisms and generalized quantifiers. Studia Logica XLVIII, 577\u2013585 (1989)","journal-title":"Studia Logica"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-012-9428-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-012-9428-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-012-9428-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,25]],"date-time":"2023-06-25T05:58:23Z","timestamp":1687672703000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-012-9428-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,8]]},"references-count":20,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2012,8]]}},"alternative-id":["9428"],"URL":"https:\/\/doi.org\/10.1007\/s11225-012-9428-5","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,8]]}}}