{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,20]],"date-time":"2025-12-20T22:28:17Z","timestamp":1766269697488},"publisher-location":"Berlin, Heidelberg","reference-count":23,"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_9","type":"book-chapter","created":{"date-parts":[[2010,9,20]],"date-time":"2010-09-20T03:41:56Z","timestamp":1284954116000},"page":"84-93","source":"Crossref","is-referenced-by-count":4,"title":["Natural Logic and Semantics"],"prefix":"10.1007","author":[{"given":"Lawrence S.","family":"Moss","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"Ben-Avi, G., Francez, N.: Proof-theoretic Semantics for a Syllogistic Fragment. In: Dekker, P., Franke, M. (eds.) Fifteenth Amsterdam Colloquium. ILLC\/Department of Philosophy, U. Amsterdam, pp. 9\u201315 (2005)"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"van Benthem, J.: Essays in Logical Semantics. Reidel, Dordrecht (1986)","DOI":"10.1007\/978-94-009-4540-1"},{"key":"9_CR3","volume-title":"Logic, Navya-Nyaya and Applications, Homage to Bimal Krishna Matilal","author":"J. Benthem van","year":"2008","unstructured":"van Benthem, J.: A Brief History of Natural Logic. In: Chakraborty, M., L\u00f6we, B., Nath Mitra, M., Sarukkai, S. (eds.) Logic, Navya-Nyaya and Applications, Homage to Bimal Krishna Matilal. College Publications, London (2008)"},{"key":"9_CR4","unstructured":"Englebretsen, G.: Three Logicians. Van Gorcum, Assen (1981)"},{"issue":"2","key":"9_CR5","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/BF00366999","volume":"24","author":"F.B. Fitch","year":"1973","unstructured":"Fitch, F.B.: Natural Deduction Rules for English. Philosophical Studies\u00a024(2), 89\u2013104 (1973)","journal-title":"Philosophical Studies"},{"key":"9_CR6","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1016\/S0010-0277(02)00180-4","volume":"86","author":"B. Geurts","year":"2003","unstructured":"Geurts, B.: Reasoning with Quantifiers. Cognition\u00a086, 223\u2013251 (2003)","journal-title":"Cognition"},{"key":"9_CR7","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/s001530050130","volume":"38","author":"E. Gr\u00e4del","year":"1999","unstructured":"Gr\u00e4del, E., Otto, M., Rosen, E.: Undecidability Results on Two-Variable Logics. Archive for Mathematical Logic\u00a038, 313\u2013354 (1999)","journal-title":"Archive for Mathematical Logic"},{"key":"9_CR8","volume-title":"Aristotle\u2019s Syllogistic","author":"J. \u0141ukasiewicz","year":"1957","unstructured":"\u0141ukasiewicz, J.: Aristotle\u2019s Syllogistic, 2nd edn. Clarendon Press, Oxford (1957)","edition":"2"},{"key":"9_CR9","doi-asserted-by":"publisher","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.: Natural Language Syntax and First-Order Inference. Artificial Intelligence\u00a056, 1\u201320 (1992)","journal-title":"Artificial Intelligence"},{"key":"9_CR10","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1515\/9783110211788.143","volume-title":"Logics for Linguistic Structures","author":"L.S. Moss","year":"2008","unstructured":"Moss, L.S.: Completeness Theorems for Syllogistic Fragments. In: Hamm, F., Kepser, S. (eds.) Logics for Linguistic Structures, pp. 143\u2013173. Mouton de Gruyter, Berlin (2008)"},{"key":"9_CR11","doi-asserted-by":"crossref","first-page":"761","DOI":"10.1093\/logcom\/exn081","volume":"20","author":"L.S. Moss","year":"2010","unstructured":"Moss, L.S.: Syllogistic Logics with Verbs. J\u00a0Logic Computat 20, 761\u2013793 (2010)","journal-title":"J Logic Computat"},{"key":"9_CR12","series-title":"Lecture Notes in Computer Science","volume-title":"Studies in Honor of Yuri Gurevich","author":"L.S. Moss","year":"2010","unstructured":"Moss, L.S.: Logics for Two Fragments Beyond the Syllogistic Boundary. In: Blass, A., Dershowitz, N., Reisig, W. (eds.) Studies in Honor of Yuri Gurevich. LNCS. Springer, Heidelberg (2010)"},{"issue":"1","key":"9_CR13","first-page":"760","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 and Computers in Japan\u00a021(1), 760\u2013771 (1990)","journal-title":"Systems and Computers in Japan"},{"key":"9_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1080\/014453499298165","volume":"20","author":"F.J. Pelletier","year":"1999","unstructured":"Pelletier, F.J.: A Brief History of Natural Deduction. History and Philosophy of Logic\u00a020, 1\u201331 (1999)","journal-title":"History and Philosophy of Logic"},{"issue":"4","key":"9_CR15","doi-asserted-by":"publisher","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\u00a02(4), 647\u2013683 (2009)","journal-title":"Review of Symbolic Logic"},{"issue":"1","key":"9_CR16","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1023\/A:1021149027971","volume":"12","author":"I. Pratt-Hartmann","year":"2003","unstructured":"Pratt-Hartmann, I.: A Two-Variable Fragment of English. J.\u00a0Logic, Language and Information\u00a012(1), 13\u201345 (2003)","journal-title":"J.\u00a0Logic, Language and Information"},{"key":"9_CR17","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1023\/B:JLLI.0000024735.97006.5a","volume":"13","author":"I. Pratt-Hartmann","year":"2004","unstructured":"Pratt-Hartmann, I.: Fragments of Language. J. Logic, Language and Information\u00a013, 207\u2013223 (2004)","journal-title":"J. Logic, Language and Information"},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"Pratt-Hartmann, I., Third, A.: More Fragments of Language. Notre Dame J. Formal Logic\u00a047(2) (2006)","DOI":"10.1305\/ndjfl\/1153858644"},{"issue":"3","key":"9_CR19","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1305\/ndjfl\/1093635837","volume":"32","author":"W.C. Purdy","year":"1991","unstructured":"Purdy, W.C.: A Logic for Natural Language. Notre Dame J.\u00a0Formal Logic\u00a032(3), 409\u2013425 (1991)","journal-title":"Notre Dame J.\u00a0Formal Logic"},{"key":"9_CR20","unstructured":"Saanchez Valencia, V.: Studies on Natural Logic and Categorial Grammar. Ph.D. thesis, Univ. of Amsterdam (1991)"},{"key":"9_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)"},{"key":"9_CR22","doi-asserted-by":"crossref","unstructured":"Westerst\u00e5hl, D.: Aristotelian Syllogisms and Generalized Quantifiers. Studia Logica\u00a0XLVIII(4), 577\u2013585 (1989)","DOI":"10.1007\/BF00370209"},{"issue":"3","key":"9_CR23","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/s10849-006-9018-x","volume":"15","author":"A. Zamansky","year":"2006","unstructured":"Zamansky, A., Francez, N., Winter, Y.: A Natural Logic Inference System Using the Lambek Calculus. J. Logic, Language and Information\u00a015(3), 273\u2013295 (2006)","journal-title":"J. Logic, Language and Information"}],"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_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,4]],"date-time":"2019-06-04T18:39:59Z","timestamp":1559673599000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14287-1_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642142864","9783642142871"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14287-1_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}