Consequence relations in DRT

Abstract

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