@article {DT:ddp, title = {Direct Dynamic Proofs For the {R}escher{\textendash}{M}anor Consequence Relations: The Flat Case}, journal = {Journal of Applied Non-Classical Logics}, volume = {12}, year = {2002}, pages = {63{\textendash}84}, abstract = {

It was shown in \cite{D:unific} that the flat Rescher{\textendash}Manor consequence relations{\textendash}-the Free, Strong, Argued, C-Based, and Weak consequence relation{\textendash}-are all characterized by special applications of inconsistency-adaptive logics defined from the paraconsistent logic CLuN. As as result, these consequence relations are provided with a dynamic proof theory. In the present paper we show that the detour via an inconsistency-adaptive logic is not necessary. We present a direct dynamic proof theory, formulated in the language of Classical Logic, and prove its adequacy.

}, author = {Batens, Diderik and Vermeir, Timothy} }