Graduate studies at Western
|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)|
No categories specified
(categorize this paper)
|Through your library||Only published papers are available at libraries|
Similar books and articles
Jochen 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):681 - 710.
Raffaella Bernardi (2004). Analyzing the Core of Categorial Grammar. Journal of Logic, Language and Information 13 (2):121-137.
Sean A. Fulop (2005). Semantic Bootstrapping of Type-Logical Grammar. Journal of Logic, Language and Information 14 (1):49-86.
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. [REVIEW] 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):273-295.
Added to index2009-01-28
Total downloads11 ( #107,563 of 740,467 )
Recent downloads (6 months)1 ( #61,957 of 740,467 )
How can I increase my downloads?