Article thumbnail
Location of Repository

Combining Montague Semantics and Discourse Representation

By Reinhard Muskens


This paper embeds the core part of Discourse Representation Theory in the classical theory of types plus a few simple axioms that allow the theory to express key facts about variables and assignments on the object level of the logic. It is shown how the embedding can be used to combine core analyses of natural language phenomena in Discourse Representation Theory with analyses that can be obtained in Montague Semantics

Topics: Philosophy of Language, Computational Linguistics, Semantics, Logic
Year: 1996
OAI identifier:

Suggested articles


  1. 1995a, Tense and the Logic of Change,
  2. (1989). A Compositional Approach to Discourse Representation Theory,
  3. (1994). A Compositional DRS-based Formalism for NLP Applications,
  4. (1980). A Cross-Categorial Semantics for Coordination,
  5. (1940). A Formulation of the Simple Theory of Types,
  6. (1993). A Natural Deduction System for Discourse Representation Theory,
  7. (1963). A Theory of Propositional Types,
  8. (1981). A Theory of Truth and Semantic Representation,
  9. (1975). Adverbs of Quantification,
  10. (1992). Anaphora and Dynamic Binding,
  11. (1991). Anaphora and the Logic of Change,
  12. (1994). Categorial Grammar and Discourse Representation Theory,
  13. (1990). Dynamic Montague Grammar,
  14. (1991). Dynamic Predicate Logic,
  15. (1983). File Change Semantics and the Familiarity Theory of Definiteness’,
  16. (1986). Foundations and Applications of Montague Grammar,
  17. (1993). From Discourse to Logic,
  18. (1983). Generalized Conjunction and Type Ambiguity,
  19. (1989). Going Partial in Montague Grammar,
  20. (1975). Intensional and Higher-Order Modal Logic,
  21. (1980). Lambda Normal Forms in an Intensional Logic for English,
  22. (1987). Noun Phrase Interpretation in Montague Grammar, File Change Semantics, and Situation Semantics,
  23. (1971). On Engendering an Illusion of Understanding,
  24. (1993). Reference to Abstract Objects
  25. (1989). Semantic Parallels,
  26. (1993). Studied Flexibility: Categories and Types in Syntax and Semantics, Doctoral dissertation,
  27. (1990). Syntactic and Semantic Conditions for Quantifier Scope, Graduirung und Komparation, Arbeitspapier Nr. 13, Universität des Saarlandes.
  28. (1973). The Proper Treatment of Quantification in Ordinary English,
  29. (1982). The Semantics of Definite and Indefinite Noun Phrases,
  30. (1974). ε−λ kontextfreie Sprachen: Ein Beitrag zu einer natürlichen formalen Semantik,

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