Studia Logica 52 (2):281 - 289 (1993)
A proof method for automation of reasoning in a paraconsistent logic, the calculus C1* of da Costa, is presented. The method is analytical, using a specially designed tableau system. Actually two tableau systems were created. A first one, with a small number of rules in order to be mathematically convenient, is used to prove the soundness and the completeness of the method. The other one, which is equivalent to the former, is a system of derived rules designed to enhance computational efficiency. A prototype based on this second system was effectively implemented.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
Analytical Tableaux for da Costa's Hierarchy of Paraconsistent Logics Cn, 1≤N<Ω.Itala M. Loffredo D'Ottaviano & Milton Augustinis de Castro - 2005 - Journal of Applied Non-Classical Logics 15 (1):69-103.
Analytical Tableaux for da Costa's Hierarchy of Paraconsistent Logics Cn, 1≤ N< Ω.Itala M. Loffredo D'Ottaviano & Milton Augustinis De Castro - 2005 - Journal of Applied Non-Classical Logics 15 (1):69-103.
Similar books and articles
Tableaux for Łukasiewicz Infinite-Valued Logic.Nicola Olivetti - 2003 - Studia Logica 73 (1):81 - 111.
General Patterns for Nonmonotonic Reasoning: From Basic Entailments to Plausible Relations.O. Arieli & A. Avron - 2000 - Logic Journal of the IGPL 8 (2):119-148.
Resolution Calculus for the First Order Linear Logic.Grigori Mints - 1993 - Journal of Logic, Language and Information 2 (1):59-83.
Remarks on the Applications of Paraconsistent Logic to Physics.Newton C. A. da Costa & Décio Krause - unknown
A Formula-Preferential Base for Paraconsistent and Plausible Reasoning Systems.Arnon Avron & Iddo Lev - 2001 - In Proceedings of the Workshop on Inconsistency in Data and Knowledge. pp. 60-70.
A Logical Expression of Reasoning.Arthur Buchsbaum, Tarcisio Pequeno & Marcelino Pequeno - 2007 - Synthese 154 (3):431 - 466.
A Sound and Complete Tableau Calculus for Reasoning About Only Knowing and Knowing at Most.Riccardo Rosati - 2001 - Studia Logica 69 (1):171-191.
Added to index2009-01-28
Total downloads19 ( #258,456 of 2,168,526 )
Recent downloads (6 months)1 ( #346,757 of 2,168,526 )
How can I increase my downloads?