Location of Repository

## Categorial Grammar and Discourse Representation Theory

### Abstract

In this paper it is shown how simple texts that can be parsed in a Lambek Categorial Grammar can also automatically be provided with a semantics in the form of a Discourse Representation Structure in the sense of Kamp [1981]. The assignment of meanings to texts uses the Curry-Howard-Van Benthem correspondence

Topics: Computational Linguistics, Semantics, Logic
Year: 1994
OAI identifier: oai:cogprints.org:4708
Sorry, we are unable to provide the full text but you may find it at the following location(s):
• http://cogprints.org/4708/1/cg... (external link)
• http://cogprints.org/4708/2/cg... (external link)
• http://cogprints.org/4708/ (external link)

### Citations

1. (1989). A Compositional Approach to Discourse Representation Theory,
2. (1940). A Formulation of the Simple Theory of Types,
3. (1975). Adverbs of Quantification,
4. (1986). An Introduction to Mathematical Logic and Type Theory: to Truth through Proof,
5. (1988). Categorial Investigations,
6. (1990). Dynamic Montague Grammar,
7. (1991). Dynamic Predicate Logic,
8. (1983). File Change Semantics and the Familiarity Theory of Definiteness,
9. forthcoming, A Compositional Discourse Representation Theory, to appear in the proceedings of the Ninth Amsterdam Colloquium.
10. (1975). Intensional and Higher-Order Modal Logic,
11. (1987). Noun Phrase Interpretation in Montague Grammar, File Change Semantics, and Situation Semantics,
12. (1987). Noun Phrases, Generalized Quantifiers and Anaphora,
13. (1993). Studied Flexibility, ILLC Dissertation Series, ILLC,
14. (1988). The Lambek Calculus,
15. (1973). The Proper Treatment of Quantification in Ordinary English,
16. (1982). The Semantics of Definite and Indefinite Noun Phrases, Dissertation,

To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.