Analytical Tableaux for da Costa's Hierarchy of Paraconsistent Logics

In this paper we present a new hierarchy of analytical tableaux systems TNDC n, 1≤n<ω, for da Costa's hierarchy of propositional paraconsistent logics Cn, 1≤n<ω. In our tableaux formulation, we int...

[1]  Tarcisio Pequeno,et al.  A reasoning method for a paraconsistent logic , 1993, Stud Logica.

[2]  A. Phillips.  The macmillan company. , 1970, Analytical chemistry.

[3]  S. C. Kleene,et al.  Introduction to Metamathematics , 1952 .

[4]  Richmond H. Thomason,et al.  Symbolic logic : an introduction , 1969 .

[5]  Van Fraassen,et al.  Formal semantics and logic , 1971 .

[6]  Newton C. A. da Costa,et al.  A semantical analysis of the calculi Cn , 1977, Notre Dame J. Formal Log..

[7]  R. Smullyan.  First-Order Logic , 1968 .

[8]  Andrés R. Raggio.  Propositional sequence-calculi for inconsistent systems , 1968, Notre Dame J. Formal Log..

[9]  Ayda I. Arruda.  Aspects of the historical development of paraconsistent logic , 1989 .

[10]  Itala M. Loffredo D'Ottaviano,et al.  Conservative translations , 2001, Ann. Pure Appl. Log..

[11]  Ayda I. Arruda,et al.  A survey of Paraconsistent Logic (1) , 1980 .

[12]  Mamede Lima-Marques,et al.  Reasoning under Inconsistent Knowledge , 1992, J. Appl. Non Class. Logics.

[13]  E. Beth,et al.  The Foundations of Mathematics , 1961 .

[14]  Newton C. A. da Costa,et al.  On the theory of inconsistent formal systems , 1974, Notre Dame J. Formal Log..

[15]  Itala M. Loffredo D'Ottaviano,et al.  NATURAL DEDUCTION FOR PARACONSISTENT LOGIC , 2000 .

[16]  F. B. Fitch.  Symbolic Logic, An Introduction , 1953 .

[17]  Richard L. Epstein.  Translations Between Logics , 1990 .

[18]  Hércules de Araújo Feitosa,et al.  Paraconsistent Logics and Translations , 2004, Synthese.