?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adc&rft.title=Combining+Montague+Semantics+and+Discourse+Representation&rft.creator=Muskens%2C+Reinhard&rft.subject=Philosophy+of+Language&rft.subject=Computational+Linguistics&rft.subject=Semantics&rft.subject=Logic&rft.description=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.&rft.date=1996&rft.type=Journal+(Paginated)&rft.type=PeerReviewed&rft.format=application%2Fpostscript&rft.identifier=http%3A%2F%2Fcogprints.org%2F4715%2F1%2Fcombining.ps&rft.format=application%2Fpdf&rft.identifier=http%3A%2F%2Fcogprints.org%2F4715%2F2%2Fcombining.pdf&rft.identifier=++Muskens%2C+Reinhard++(1996)+Combining+Montague+Semantics+and+Discourse+Representation.++%5BJournal+(Paginated)%5D+++++&rft.relation=http%3A%2F%2Fcogprints.org%2F4715%2F