Direct Dynamic Proofs for the Rescher–Manor Consequence Relations: The Flat Case

In [BAT 00b], the flat Rescher–Manor consequence relations — the Free, Strong, Argued, C-Based, andWeak consequence relation—were shown to be characterized by (special applications of) inconsistency-adaptive logics defined from the paraconsistent logic CLuN . This provided these consequence relations 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. The present paper contains the first direct dynamic proof theory for consequence relations that are characterized by an adaptive logic.

[1]  Diderik Batens,et al.  A survey of inconsistency-adaptive logics , 2000 .

[2]  N. Rescher,et al.  On inference from inconsistent premisses , 1970 .

[3]  George Boolos,et al.  Computability and logic , 1974 .

[4]  Nicholas Rescher.  Plausible reasoning : an introduction to the theory and practice of plausibilistic inference , 1976 .

[5]  Diderik Batens.  Frontiers of Paraconsistent Logic , 2000 .

[6]  Éric Grégoire.  Handling Inconsistency Efficiently in the Incremental Construction of Statified Belief Bases , 1999, ESCQARU.

[7]  Didier Dubois,et al.  Some Syntactic Approaches to the Handling of Inconsistent Knowledge Bases: A Comparative Study Part 1: The Flat Case , 1997, Stud Logica.

[8]  Nicole Fassbinder.  Automated Reasoning with Analytic Tableaux and Related Methods , 1997, Lecture Notes in Computer Science.

[9]  L. R. Harris.  Hypothetical reasoning , 1989 .

[10]  Diderik Batens,et al.  Blocks: the clue to dynamic aspects of logic , 1997 .

[11]  D. Batens,et al.  Pushing the Search Paths in the Proofs. A Study in Proof Heuristics , 2003 .

[12]  Guido Vanackere,et al.  Preferences as inconsistency-resolvers: The Inconsistency-adaptive Logic PRL , 2004 .

[13]  Graham Priest,et al.  Paraconsistent Logic: Essays on the Inconsistent , 1990 .

[14]  Diderik Batens,et al.  A Tableau Method for Inconsistency-Adaptive Logics , 2000, TABLEAUX.

[15]  Diderik Batens.  Inconsistency-Adaptive Logics , 1999 .

[16]  N. Rescher,et al.  The coherence theory of truth , 1973 .

[17]  D. Batens.  TOWARDS THE UNIFICATION OF INCONSISTENCY HANDLING MECHANISMS , 2004 .

[18]  H. Rasiowa,et al.  Logic at work : essays dedicated to the memory of Helena Rasiowa , 1999 .