Abstract
This paper develops an inference system for natural language within the ‘Natural Logic’ paradigm as advocated by van Benthem (1997), Sánchez (1991) and others. The system that we propose is based on the Lambek calculus and works directly on the Curry-Howard counterparts for syntactic representations of natural language, with no intermediate translation to logical formulae. The Lambek-based system we propose extends the system by Fyodorov et~al. (2003), which is based on the Ajdukiewicz/Bar-Hillel (AB) calculus Bar Hillel, (1964). This enables the system to deal with new kinds of inferences, involving relative clauses, non-constituent coordination, and meaning postulates that involve complex expressions. Basing the system on the Lambek calculus leads to problems with non-normalized proof terms, which are treated by using normalization axioms.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Bernardi, R. (2002). Reasoning with polarity in categorial type grammar, Ph.D. thesis, Utrecht University.
Faltz, L., & Keenan, E.L. (1985). Boolean semantics for natural language, Reidel.
Fyodorov, Y., Winter, Y., & Francez, N. (2003). Order-based inference in natural logic, Logic Journal of the IGPL.
Gamut, L.T.F (1991). Logic, language and meaning (Vol. 2). The University of Chicago Press, Chicago.
Henkin, L. (1950). Completeness in the theory of types, Journal of Symbolic Logic, 81–91.
Bar Hillel, Y. (1964) Language and information, Addison Wesley, Reading MA.
Lambek, J. (1991) The mathematics of sentence structure, Amer. Math. Monthly, Chicago, 64.
Moortgat, M. (1997). Categorial type logics, handbook for logic and language. In Johan van Benthem, & Alice ter Muelen (Eds.) Elsevier/MIT Press.
Pratt-Hartman, I. (2004) Fragments of language quantification, Journal of Logic, Language and Information, 13 207–223.
Sánchez, V. (1991) Studies on natural logic and categorial grammar, Ph.D. thesis, University of Amsterdam.
van Benthem, J. (1987) Meaning: interpretation and inference, Synthese, 73, 451–470.
Wansing, H. (1993) The logic of information structures, Springer Lecture Notes, Springer-Verlag, Berlin.
Zamansky, A. (2004). A ‘Natural Logic’ inference system based on the Lambek calculus, Master's thesis, Technion, Haifa.
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.
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.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Zamansky, A., Francez, N. & Winter, Y. A ‘Natural Logic’ inference system using the Lambek calculus. JoLLI 15, 273–295 (2006). https://doi.org/10.1007/s10849-006-9018-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10849-006-9018-x