Skip to main content
Article thumbnail
Location of Repository

Categorial Grammar and Discourse Representation Theory

By Reinhard Muskens

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
Download PDF:
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)
  • Suggested articles

    Citations

    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,

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