---
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.
altloc:
  - http://let.uvt.nl/general/people/rmuskens/pubs/combining.ps
  - http://let.uvt.nl/general/people/rmuskens/pubs/combining.pdf
chapter: ~
commentary: ~
commref: ~
confdates: ~
conference: ~
confloc: ~
contact_email: ~
creators_id: []
creators_name:
  - family: Muskens
    given: Reinhard
    honourific: ''
    lineage: ''
date: 1996
date_type: published
datestamp: 2006-02-05
department: ~
dir: disk0/00/00/47/15
edit_lock_since: ~
edit_lock_until: ~
edit_lock_user: ~
editors_id: []
editors_name: []
eprint_status: archive
eprintid: 4715
fileinfo: /style/images/fileicons/application_postscript.png;/4715/1/combining.ps|/style/images/fileicons/application_pdf.png;/4715/2/combining.pdf
full_text_status: public
importid: ~
institution: ~
isbn: ~
ispublished: pub
issn: ~
item_issues_comment: []
item_issues_count: 0
item_issues_description: []
item_issues_id: []
item_issues_reported_by: []
item_issues_resolved_by: []
item_issues_status: []
item_issues_timestamp: []
item_issues_type: []
keywords: ~
lastmod: 2011-03-11 08:56:20
latitude: ~
longitude: ~
metadata_visibility: show
note: ~
number: ~
pagerange: 143-186
pubdom: FALSE
publication: Linguistics and Philosophy
publisher: ~
refereed: TRUE
referencetext: ~
relation_type: []
relation_uri: []
reportno: ~
rev_number: 14
series: ~
source: ~
status_changed: 2007-09-12 17:02:03
subjects:
  - phil-lang
  - ling-comput
  - ling-sem
  - phil-logic
succeeds: ~
suggestions: ~
sword_depositor: ~
sword_slug: ~
thesistype: ~
title: Combining Montague Semantics and Discourse Representation
type: journalp
userid: 6111
volume: 19
<script src="//archive-bar.soton.ac.uk/archive-bar.js"></script>