TY - JOUR T1 - Direct Dynamic Proofs For the Rescher–Manor Consequence Relations: The Flat Case JF - Journal of Applied Non-Classical Logics Y1 - 2002 A1 - Batens, Diderik A1 - Vermeir, Timothy AB -

It was shown in \cite{D:unific} that the flat Rescher–Manor consequence relations–-the Free, Strong, Argued, C-Based, and Weak consequence relation–-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.

VL - 12 SP - 63–84 ER -