A 'Natural Logic' inference system using the Lambek calculus

Journal of Logic, Language and Information

Volumn 15, Issue 3, 2006, Pages 273-295

  Zamansky, Anna ^a   Francez, Nissim ^b   Winter, Yoad ^b  

^a TEL AVIV UNIVERSITY   (Israel)

^b TECHNION ISRAEL INSTITUTE OF TECHNOLOGY   (Israel)

Author keywords

Inference; Lambek calculus; Natural logic; Normalization

Indexed keywords

EID: 33748788531     PISSN: 09258531     EISSN: 15729583     Source Type: Journal    
DOI: 10.1007/s10849-006-9018-x     Document Type: Article

References (15)

1. Bernardi, R. (2002). Reasoning with polarity in categorial type grammar. Ph.D. thesis, Utrecht University.
2. Faltz, L., & Keenan, E.L. (1985). Boolean semantics for natural language. Reidel.
3. Fyodorov, Y., Winter, Y., & Francez, N. (2003). Order-based inference in natural logic. Logic Journal of the IGPL.
4. Gamut, L.T.F (1991). Logic, language and meaning (Vol. 2). The University of Chicago Press, Chicago
5. Henkin, L. (1950). Completeness in the theory of types. Journal of Symbolic Logic, 81-91.
6. Bar Hillel, Y. (1964). Language and information. Addison Wesley, Reading MA.
7. Lambek, J. (1991). The mathematics of sentence structure. Amer. Math. Monthly, Chicago, 64.
8. Moortgat, M. (1997). Categorial type logics, handbook for logic and language. In Johan van Benthem, & Alice ter Muelen (Eds.) Elsevier/MIT Press.
9. Pratt-Hartman, I. (2004). Fragments of language quantification. Journal of Logic. Language and Information, 13, 207-223.
10. Sanchez, V. (1991). Studies on natural logic and categorial grammar. Ph.D. thesis, University of Amsterdam.
11. van Benthem, J. (1987). Meaning: interpretation and inference. Synthese. 73, 451-470.
12. Wansing, H. (1993). The logic of information structures. Springer Lecture Notes, Springer-Verlag, Berlin.
13. Zamansky, A. (2004). A 'Natural Logic' inference system based on the Lambek calculus. Master's thesis, Technion, Haifa.
14. Zamansky, A., Winter, Y., & Francez, N. (2002). Order-based inference using the lambek calculus. In Proceedings of the 7-th conference on Formal Grammar, University of Trento.
15. Zamansky, A., Winter, Y., & Francez, N. (2003). A 'Natural Logic' inference system using normalization. In P. Nancy, & J. Bos Blackburn (Eds). Proceedings of the 4-th Workshop on Inference in Computational Semantics, LORIA.