{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,8,27]],"date-time":"2023-08-27T11:03:19Z","timestamp":1693134199839},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2006,7,21]],"date-time":"2006-07-21T00:00:00Z","timestamp":1153440000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["JoLLI"],"published-print":{"date-parts":[[2006,10]]},"DOI":"10.1007\/s10849-006-9018-x","type":"journal-article","created":{"date-parts":[[2006,7,20]],"date-time":"2006-07-20T04:57:22Z","timestamp":1153371442000},"page":"273-295","source":"Crossref","is-referenced-by-count":8,"title":["A \u2018Natural Logic\u2019 inference system using the Lambek calculus"],"prefix":"10.1007","volume":"15","author":[{"given":"Anna","family":"Zamansky","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nissim","family":"Francez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yoad","family":"Winter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,7,21]]},"reference":[{"key":"9018_CR1","unstructured":"Bernardi, R. (2002). Reasoning with polarity in categorial type grammar, Ph.D. thesis, Utrecht University."},{"key":"9018_CR2","doi-asserted-by":"crossref","unstructured":"Faltz, L., & Keenan, E.L. (1985). Boolean semantics for natural language, Reidel.","DOI":"10.1007\/978-94-009-6404-4"},{"key":"9018_CR3","doi-asserted-by":"crossref","unstructured":"Fyodorov, Y., Winter, Y., & Francez, N. (2003). Order-based inference in natural logic, Logic Journal of the IGPL.","DOI":"10.1093\/jigpal\/11.4.385"},{"key":"9018_CR4","unstructured":"Gamut, L.T.F (1991). Logic, language and meaning (Vol. 2). The University of Chicago Press, Chicago."},{"key":"9018_CR5","doi-asserted-by":"crossref","unstructured":"Henkin, L. (1950). Completeness in the theory of types, Journal of Symbolic Logic, 81\u201391.","DOI":"10.2307\/2266967"},{"key":"9018_CR6","volume-title":"Language and information","author":"Y. Bar Hillel","year":"1964","unstructured":"Bar Hillel, Y. (1964) Language and information, Addison Wesley, Reading MA."},{"key":"9018_CR7","volume-title":"The mathematics of sentence structure","author":"J. Lambek","year":"1991","unstructured":"Lambek, J. (1991) The mathematics of sentence structure, Amer. Math. Monthly, Chicago, 64."},{"key":"9018_CR8","unstructured":"Moortgat, M. (1997). Categorial type logics, handbook for logic and language. In Johan van Benthem, & Alice ter Muelen (Eds.) Elsevier\/MIT Press."},{"key":"9018_CR9","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1023\/B:JLLI.0000024735.97006.5a","volume":"13","author":"I. Pratt-Hartman","year":"2004","unstructured":"Pratt-Hartman, I. (2004) Fragments of language quantification, Journal of Logic, Language and Information, 13 207\u2013223.","journal-title":"Journal of Logic, Language and Information"},{"key":"9018_CR10","unstructured":"S\u00e1nchez, V. (1991) Studies on natural logic and categorial grammar, Ph.D. thesis, University of Amsterdam."},{"key":"9018_CR11","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1007\/BF00484987","volume":"73","author":"J. Benthem van","year":"1987","unstructured":"van Benthem, J. (1987) Meaning: interpretation and inference, Synthese, 73, 451\u2013470.","journal-title":"Synthese"},{"key":"9018_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-56734-8","volume-title":"The logic of information structures","author":"H. Wansing","year":"1993","unstructured":"Wansing, H. (1993) The logic of information structures, Springer Lecture Notes, Springer-Verlag, Berlin."},{"key":"9018_CR13","unstructured":"Zamansky, A. (2004). A \u2018Natural Logic\u2019 inference system based on the Lambek calculus, Master's thesis, Technion, Haifa."},{"key":"9018_CR14","unstructured":"Zamansky, A. Winter, Y., & Francez, N. (2002). Order-based inference using the lambek calculus, Proceedings of the 7-th conference on Formal Grammar, University of Trento."},{"key":"9018_CR15","unstructured":"Zamansky, A., Winter, Y., & Francez, N. (2003). A \u2018Natural Logic\u2019 inference system using normalization. In P. Nancy, & J. Bos Blackburn (Eds). Proceedings of the 4-th Workshop on Inference in Computational Semantics, LORIA."}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-006-9018-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10849-006-9018-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-006-9018-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T22:31:01Z","timestamp":1559255461000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10849-006-9018-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,7,21]]},"references-count":15,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2006,10]]}},"alternative-id":["9018"],"URL":"https:\/\/doi.org\/10.1007\/s10849-006-9018-x","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"value":"0925-8531","type":"print"},{"value":"1572-9583","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,7,21]]}}}