Categorial Grammar and Lambda Calculus

Johan van Benthem
Additional contact information
Johan van Benthem: University of Amsterdam, Mathematical Institute

A chapter in Mathematical Logic and Its Applications, 1987, pp 39-60 from Springer

Abstract: Abstract Categorial Grammar and logical Type Theory stem from the same historical source, viz. the Fregean and Russellian idea of a pervasive function/ argument structure in Language. Nevertheless, the two fields have developed in quite different ways, one becoming a more linguistic enterprise, the other a more mathematical one. (For the former, see Bach et al., 1986, Buszkowski et al., 1986 — for the latter, Gallin 1975, Barendregt, 1981.) Even so, there is also a more theoretical logical component to Categorial Grammar, which has been studied recently by various authors (cf. Buszkowski, 1982, Došen, 1986, van Benthem, 1986a,e). And in that direction, various connections have emerged with research in Type Theory and Lambda Calculus — exploiting analogies between categorial grammars, Gentzen calculi for implication and fragments of typed lambda-languages. In this paper, we shall survey this development, adding various new results on definability and preservation.

Keywords: Natural Language; Noun Phrase; Type Theory; Universal Quantifier; Categorial Grammar (search for similar items in EconPapers)
Date: 1987
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-1-4613-0897-3_4

Ordering information: This item can be ordered from
http://www.springer.com/9781461308973

DOI: 10.1007/978-1-4613-0897-3_4

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().