Paper: Consequence Relations In DRT

ACL ID C94-2181
Title Consequence Relations In DRT
Venue International Conference on Computational Linguistics
Session Main Conference
Year 1994

We discuss some consequence relations in DRT useful to discourse semantics. We incorporate some consequence relations into DRT using se- quent calculi. We also show some connections of these consequence relations and existing par- tial logics. Our attempt enables us to display several versions of DRT by employing different consequence relations.