creators_name: Muskens, Reinhard type: journalp datestamp: 2006-02-05 lastmod: 2011-03-11 08:56:20 metadata_visibility: show title: Combining Montague Semantics and Discourse Representation ispublished: pub subjects: phil-lang subjects: ling-comput subjects: ling-sem subjects: phil-logic full_text_status: public abstract: 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. date: 1996 date_type: published publication: Linguistics and Philosophy volume: 19 pagerange: 143-186 refereed: TRUE citation: Muskens, Reinhard (1996) Combining Montague Semantics and Discourse Representation. [Journal (Paginated)] document_url: http://cogprints.org/4715/1/combining.ps document_url: http://cogprints.org/4715/2/combining.pdf