{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T16:46:30Z","timestamp":1725900390663},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642142864"},{"type":"electronic","value":"9783642142871"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-14287-1_13","type":"book-chapter","created":{"date-parts":[[2010,9,20]],"date-time":"2010-09-20T03:41:56Z","timestamp":1284954116000},"page":"124-132","source":"Crossref","is-referenced-by-count":0,"title":["Extending Syllogistic Reasoning"],"prefix":"10.1007","author":[{"given":"Robert","family":"van Rooij","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"van Benthem, J.: A linguistic turn: New directions in logic. In: Marcus, R., et al. (eds.) Logic, Methodology and Philosophy of Science, Salzburg, pp. 205\u2013240 (1983)","DOI":"10.1016\/S0049-237X(09)70694-9"},{"key":"13_CR2","unstructured":"van Benthem, J., et al.: Logic in Action, Amsterdam (to appear)"},{"key":"13_CR3","volume-title":"Johannis Buridani tractatus de consequentiis","author":"J. Burdidan","year":"1976","unstructured":"Burdidan, J.: Tractatus de Consequentiis. In: Hubien, H. (ed.) Johannis Buridani tractatus de consequentiis, critical edn. Publications universitaires, Louvain (1976)","edition":"2"},{"key":"13_CR4","volume-title":"Reference and Generality. An Examination of Some Medieval and Modern Theories","author":"P. Geach","year":"1962","unstructured":"Geach, P.: Reference and Generality. An Examination of Some Medieval and Modern Theories. Cornell University Press, Oxford (1962)"},{"key":"13_CR5","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1093\/jos\/ffh018","volume":"22","author":"B. Geurts","year":"2005","unstructured":"Geurts, B., van der Slik, F.: Monotonicity and processing load. Journal of Semantics\u00a022, 97\u2013117 (2005)","journal-title":"Journal of Semantics"},{"key":"13_CR6","volume-title":"Boolean Algebra","author":"R.L. Goodstein","year":"1963","unstructured":"Goodstein, R.L.: Boolean Algebra. Pergamon Press, London (1963)"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"Leibniz, G.: A specimen of a demonstrated inference from the direct to the oblique. In: Parkinson (ed.) Leibniz. Logical Papers, pp. 88\u201389 (1966a)","DOI":"10.1093\/oseo\/instance.00106685"},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"Leibniz, G.: A paper on some logical difficulties. In: Parkinson (ed.) Leibniz. Logical Papers, pp. 115\u2013121 (1966b)","DOI":"10.1093\/oseo\/instance.00106691"},{"key":"13_CR9","volume-title":"Aristotle\u2019s Sollogistic from the standpoint of Modern Formal Logic","author":"J. Lukasiewicz","year":"1957","unstructured":"Lukasiewicz, J.: Aristotle\u2019s Sollogistic from the standpoint of Modern Formal Logic. Garland Publishers, New York (1957)"},{"key":"13_CR10","first-page":"142","volume":"9","author":"R.C. Lyndon","year":"1959","unstructured":"Lyndon, R.C.: Properties preserved under homomorphism. Pacific Journal of Mathematics\u00a09, 142\u2013154 (1959)","journal-title":"Pacific Journal of Mathematics"},{"key":"13_CR11","first-page":"387","volume-title":"The Logic of Natural Language","author":"C. McIntosh","year":"1982","unstructured":"McIntosh, C.: Appendix F. In: Sommers, F. (ed.) The Logic of Natural Language, pp. 387\u2013425. Clarendon Press, Oxford (1982)"},{"key":"13_CR12","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1002\/malq.19750210118","volume":"21","author":"M. Mortimer","year":"1975","unstructured":"Mortimer, M.: On language with two variables. Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik\u00a021, 135\u2013140 (1975)","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"key":"13_CR13","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1305\/ndjfl\/1039700696","volume":"38","author":"W.A. Murphee","year":"1997","unstructured":"Murphee, W.A.: The numerical syllogism and existential presupposition. Notre Dame Journal of Formal Logic\u00a038, 49\u201364 (1997)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"13_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"192","DOI":"10.1007\/978-3-642-01748-3_13","volume-title":"Francez Festschrifft","author":"I. Pratt-Hartmann","year":"2009","unstructured":"Pratt-Hartmann, I.: No syllogisms for the numerical syllogistic. In: Grumberg, O., et al. (eds.) Francez Festschrifft. LNCS, vol.\u00a05553, pp. 192\u2013203. Springer, Berlin (2009)"},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"Pratt-Hartmann, I., Moss, L.: Logics for the Relational Syllogistics. Review of Symbolic Logic (to appear)","DOI":"10.1017\/S1755020309990086"},{"key":"13_CR16","doi-asserted-by":"publisher","first-page":"608","DOI":"10.2307\/2275678","volume":"61","author":"W. Purdy","year":"1996","unstructured":"Purdy, W.: Fluted formulas and the limits of decidability. Journal of Symbolic Logic\u00a061, 608\u2013620 (1996)","journal-title":"Journal of Symbolic Logic"},{"key":"13_CR17","unstructured":"Quine, W.V.O.: Algebraic logic and predicate functors, pp. 283\u2013307 (1976)"},{"key":"13_CR18","volume-title":"A critical exposition of the Philosophy of Leibniz","author":"B. Russell","year":"1900","unstructured":"Russell, B.: A critical exposition of the Philosophy of Leibniz. Cambridge University Press, Oxford (1900)"},{"key":"13_CR19","unstructured":"Sanchez, V.: Studies on Natural Logic and Categorial Grammar, PhD thesis, Universiteit van Amsterdam (1991)"},{"key":"13_CR20","first-page":"131","volume":"21","author":"J. Sherpherdson","year":"1956","unstructured":"Sherpherdson, J.: On the interpretation of Aristotelian syllogistic. Journal of Symbolic Logic\u00a021, 131\u2013147 (1956)","journal-title":"Journal of Symbolic Logic"},{"key":"13_CR21","volume-title":"The Logic of Natural Language","author":"F. Sommers","year":"1982","unstructured":"Sommers, F.: The Logic of Natural Language. Clarendon Press, Oxford (1982)"}],"container-title":["Lecture Notes in Computer Science","Logic, Language and Meaning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14287-1_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,4]],"date-time":"2019-06-04T18:40:04Z","timestamp":1559673604000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14287-1_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642142864","9783642142871"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14287-1_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}