{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,8,27]],"date-time":"2023-08-27T10:55:10Z","timestamp":1693133710066},"reference-count":14,"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-9429-4","type":"journal-article","created":{"date-parts":[[2012,8,7]],"date-time":"2012-08-07T13:58:48Z","timestamp":1344347928000},"page":"683-704","source":"Crossref","is-referenced-by-count":5,"title":["The Soundness of Internalized Polarity Marking"],"prefix":"10.1007","volume":"100","author":[{"given":"Lawrence S.","family":"Moss","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,8,8]]},"reference":[{"key":"9429_CR1","unstructured":"Bernardi, Raffaella, Reasoning with Polarity in Categorial Type Logic, Ph.D. thesis, University of Utrecht, 2002."},{"key":"9429_CR2","unstructured":"Christodoulopoulos, Christos, Creating a natural logic inference system with combinatory categorial grammar, Master\u2019s thesis, University of Edinburgh, 2008."},{"key":"9429_CR3","doi-asserted-by":"crossref","unstructured":"Dowty, David, The role of negative polarity and concord marking in natural language reasoning, in Proceedings of SALT IV, Cornell University, Ithaca, NY, 1994, pp. 114\u2013144.","DOI":"10.3765\/salt.v4i0.2461"},{"issue":"4","key":"9429_CR4","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1093\/jigpal\/11.4.385","volume":"11","author":"Yaroslav Fyodorov","year":"2003","unstructured":"Fyodorov Yaroslav, Winter Yoad, Francez Nissim: Order-based inference in natural logic. Log. J. IGPL 11(4), 385\u2013417 (2003) Inference in computational semantics: the 2000 Dagstuhl Workshop","journal-title":"Log. J. IGPL"},{"key":"9429_CR5","unstructured":"Icard, Thomas, Exclusion and containment in natural language, 2010. Ms., Stanford University."},{"key":"9429_CR6","doi-asserted-by":"crossref","unstructured":"MacCartney, Bill, and Christopher D. Manning, An extended model of natural logic, in Proceedings of the Eighth International Conference on Computational Semantics (IWCS-8), Tilburg, Netherlands, 2009.","DOI":"10.3115\/1693756.1693772"},{"key":"9429_CR7","doi-asserted-by":"crossref","unstructured":"Moortgat, Michael, Categorial type logics, in Handbook of Logic and Language, MIT Press, Cambridge, MA, 1997, pp. 93\u2013178.","DOI":"10.1016\/B978-044481714-3\/50005-9"},{"key":"9429_CR8","unstructured":"Nairn, Rowan, Cleo Condoravdi, and Lauri Karttunen, Computing relative polarity for textual inference, in Proceedings of ICoS-5 (Inference in Computational Semantics), Buxton, UK, 2006."},{"issue":"4","key":"9429_CR9","doi-asserted-by":"crossref","first-page":"647","DOI":"10.1017\/S1755020309990086","volume":"2","author":"Ian Pratt-Hartmann","year":"2009","unstructured":"Pratt-Hartmann Ian, Moss Lawrence S.: Logics for the relational syllogistic. Review of Symbolic Logic 2(4), 647\u2013683 (2009)","journal-title":"Review of Symbolic Logic"},{"key":"9429_CR10","unstructured":"Valencia, V\u00edctor M. S\u00e1nchez, Studies on Natural Logic and Categorical Grammar, Ph.D. thesis, University of Amsterdam, 1991."},{"key":"9429_CR11","doi-asserted-by":"crossref","unstructured":"van Benthem, Johan, Essays in Logical Semantics, vol. 29 of Studies in Linguistics and Philosophy, D. Reidel Publishing Co., Dordrecht, 1986.","DOI":"10.1007\/978-94-009-4540-1"},{"key":"9429_CR12","unstructured":"van Benthem, Johan, Language in Action, vol. 130 of Studies in Logic and the Foundations of Mathematics, North Holland, Amsterdam, 1991."},{"key":"9429_CR13","unstructured":"van Benthem, Johan, A brief history of natural logic, in M. Chakraborty, B. L\u00f6we, M. Nath Mitra, and S. Sarukkai (eds.), Logic, Navya-Nyaya and Applications, Homage to Bimal Krishna Matilal, College Publications, London, 2008."},{"issue":"3","key":"9429_CR14","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1007\/s10849-006-9018-x","volume":"15","author":"Anna Zamansky","year":"2006","unstructured":"Zamansky Anna, Francez Nissim, Winter Yoad: A \u2018natural logic\u2019 inference system using the Lambek calculus. J. Log. Lang. Inf. 15(3), 273\u2013295 (2006)","journal-title":"J. Log. Lang. Inf."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-012-9429-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-012-9429-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-012-9429-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,2]],"date-time":"2019-07-02T16:03:22Z","timestamp":1562083402000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-012-9429-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,8]]},"references-count":14,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2012,8]]}},"alternative-id":["9429"],"URL":"https:\/\/doi.org\/10.1007\/s11225-012-9429-4","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,8]]}}}