Language, lambdas, and logic
| Abstract | In (van Benthem 1986) it was observed that the Curry-Howard correspondence between proofs and λ-terms can be exploited to obtain a very elegant and principled match between Lambek Categorial Grammar and Montague Semantics. The correspondence associates each proof of the calculus with a λ-term and Van Benthem shows how such terms can be used as a recipe for obtaining the meaning of a complex expression in terms of the meanings of its parts. The method is easily extended to various other forms of Lambek calculi, including multimodal calculi (see (Moortgat 1997) and references therein). | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,865 |
| External links |
  Try with proxy. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesJochen Dörre, Esther König & Dov Gabbay (1996). Fibred Semantics for Feature-Based Grammar Logic. Journal of Logic, Language and Information 5 (3-4):387-422.
Michael Moortgat (2009). Symmetric Categorial Grammar. Journal of Philosophical Logic 38 (6).
Sean A. Fulop (2005). Semantic Bootstrapping of Type-Logical Grammar. Journal of Logic, Language and Information 14 (1).
Carlos Areces & Raffaella Bernardi (2004). Analyzing the Core of Categorial Grammar. Journal of Logic, Language and Information 13 (2):121-137.
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.
Anna Zamansky, Nissim Francez & Yoad Winter (2006). A 'Natural Logic' Inference System Using the Lambek Calculus. Journal of Logic, Language and Information 15 (3).
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads11 ( #100,810 of 556,803 )Recent downloads (6 months)1 ( #64,847 of 556,803 )How can I increase my downloads? |
My notes
Discussion
