An Adaptive Characterization of Signed Systems for Paraconsistent Reasoning

In this paper we characterize the six (basic) signed systems from [18] in terms of adaptive logics. We prove the characterization correct and show that it has a number of advantages.

[1]  Diderik Batens.  A procedural criterion for final derivability in inconsistency-adaptive logics , 2005, J. Appl. Log..

[2]  D. Batens.  A General Characterization of Adaptive Logics , 2001 .

[3]  Diderik Batens,et al.  A Rich Paraconsistent Extension Of Full Positive Logic , 2004 .

[4]  Diderik Batens.  A Strengthening of the Rescher--Manor Consequence Relations , 2003 .

[5]  Diderik Batens,et al.  Recent results by the inconsistency-adaptive labourers. , 2007 .

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

[7]  Diderik Batens,et al.  A Universal Logic Approach to Adaptive Logics , 2007, Logica Universalis.

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

[9]  Diderik Batens.  The Need for Adaptive Logics In Epistemology , 2004, Logic, Epistemology, and the Unity of Science.

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

[11]  D. Batens.  Paraconsistent extensional propositional logics , 1980 .

[12]  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.

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

[14]  Stefan Woltran,et al.  Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems , 2002, JELIA.

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

[16]  Diderik Batens,et al.  Shortcuts and Dynamic Marking in the Tableau Method for Adaptive Logics , 2001, Stud Logica.

[17]  Diderik Batens,et al.  Dialectical dynamics within formal logics , 1986 .

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

[19]  Torsten Schaub,et al.  Signed Systems for Paraconsistent Reasoning , 1998, Journal of Automated Reasoning.