Analytical tableaux for da Costa's hierarchy of paraconsistent logics Cn, 1≤n<ω

DOI10.3166/jancl.15.69-103zbMath1185.03045WikidataQ126266070 ScholiaQ126266070MaRDI QIDQ3647223

Itala M. Loffredo D'Ottaviano, Milton Augustinis de Castro

Publication date: 30 November 2009

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3166/jancl.15.69-103

zbMATH Keywords

decidability; cut rule; paraconsistent logic; logical equivalence; da Costa's hierarchy systems; hierarchy of analytical tableaux systems

Mathematics Subject Classification ID

03B35: Mechanization of proofs and logical operations

03B53: Paraconsistent logics

Related Items

Towards an Efficient Prover for the <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:msub><mml:mi>C</mml:mi><mml:mn>1</mml:mn></mml:msub></mml:math> Paraconsistent Logic, XIV Latin American Symposium on Mathematical Logic (SLALM)

Cites Work

• A reasoning method for a paraconsistent logic
• The foundations of mathematics. A study in the philosophy of science
• A semantical analysis of the calculi \(C_n\)
• Propositional sequence-calculi for inconsistent systems
• On the theory of inconsistent formal systems
• Conservative translations
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item