A 'natural logic' inference system using the Lambek calculus
Journal of Logic, Language and Information 15 (3) (2006)
| 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. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,672 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesKosta Došen (1992). Modal Logic as Metalogic. Journal of Logic, Language and Information 1 (3):173-201.
Sharon Shoham & Nissim Francez (2008). Game Semantics for the Lambek-Calculus: Capturing Directionality and the Absence of Structural Rules. Studia Logica 90 (2):161 - 188.
Makoto Kanazawa (1992). The Lambek Calculus Enriched with Additional Connectives. Journal of Logic, Language and Information 1 (2).
Aarne Ranta (1998). Syntactic Calculus with Dependent Types. Journal of Logic, Language and Information 7 (4):413-431.
Aleksandra Kiślak-Malinowska (2007). On the Logic of Β -Pregroups. Studia Logica 87 (2-3):323 - 342.
Michael Moortgat (1996). Multimodal Linguistic Inference. Journal of Logic, Language and Information 5 (3-4):349-385.
David J. Pym (1995). A Note on the Proof Theory the λII-Calculus. Studia Logica 54 (2):199 - 230.
Wojciech Zielonka (2002). On Reduction Systems Equivalent to the Lambek Calculus with the Empty String. Studia Logica 71 (1):31-46.
Maria Bulińska (2005). The Pentus Theorem for Lambek Calculus with Simple Nonlogical Axioms. Studia Logica 81 (1):43 - 59.
Hajnal Andréka & Szabolcs Mikulás (1994). Lambek Calculus and its Relational Semantics: Completeness and Incompleteness. Journal of Logic, Language and Information 3 (1):1-37.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads6 ( #145,546 of 549,068 )Recent downloads (6 months)1 ( #63,185 of 549,068 )How can I increase my downloads? |
My notes
Discussion
