A reasoning method for a paraconsistent logic

DOI10.1007/BF01058392zbMath0796.03017MaRDI QIDQ687160

Arthur Buchsbaum, Tarcisio Pequeno

Publication date: 26 September 1994

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

completenessparaconsistencyimplementationsoundnesstableau systemautomation of reasoningparaconsistent predicate calculus \(C^*_ 1\)

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Paraconsistent logics (03B53)

Related Items (4)

A logical expression of reasoning ⋮ A Logic for Ambiguous Description ⋮ 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 ⋮ Analytical tableaux for da Costa's hierarchy of paraconsistent logics C_n, 1≤n<ω

Cites Work

• A logic for default reasoning
• On the theory of inconsistent formal systems
• Unnamed Item
• Unnamed Item

This page was built for publication: A reasoning method for a paraconsistent logic