Article thumbnail

Categorial Grammar and Discourse Representation Theory

By Reinhard Muskens


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:

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

Suggested articles


  1. (1989). A Compositional Approach to Discourse Representation Theory, doi
  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,