Abstract
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.
Similar content being viewed by others
References
Arthur Buchsbaum,Um Método Automático de Prova para a Lógica Paraconsistente. Master's thesis, Pontifícia Universidade Católica do Rio de Janeiro, 1988.
Arthur Buchsbaum andTarcisio Pequeno,O método dos tableaux generalizado e sua aplicação ao raciocínio automático em lógicas não clássicas,O que nos faz pensar - Cadernos do Departamento de Filosofia da PUC-Rio, 3, september 1990.
Arthur Buchsbaum andTarcisio Pequeno,Raciocínio automático em lógicas paraconsistentes e/ou paracompletas, InProceedings of the 6th Brazilian Symposium of Artificial Intelligence, 1989.
Marcelo Correa, Arthur Buchsbaum, andTarcisio Pequeno,Raciocínio automático com conhecimento incompleto e inconsistente I: um sistema de tableaux para LEI,In Proceedings of the 9th Brazilian Symposium of Artificial Intelligence, 1992.
Newton C. A. da Costa,On the theory of inconsistent formal systems,Notre Dame Journal of Formal Logic, 15, 1974.
S. C. Kleene,Introduction to Metamathematics. Van Nostrand, 1952.
Tarcisio Pequeno,A Logic for Inconsistent Nonmonotonic Reasoning. Technical Report 90/6, Department of Computing, Imperial College, London, 1990.
Tarcisio Pequeno andArthur Buchsbaum,The logic of epistemic inconsistency,In Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, 1991.
Raymond Reiter,A logic for default reasoning,Artificial Intelligence, 13, 1980.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Buchsbaum, A., Pequeno, T. A reasoning method for a paraconsistent logic. Stud Logica 52, 281–289 (1993). https://doi.org/10.1007/BF01058392
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01058392