Skip to main content
Log in

A reasoning method for a paraconsistent logic

  • Published:
Studia Logica Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. 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.

  2. 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.

  3. 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.

  4. 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.

  5. Newton C. A. da Costa,On the theory of inconsistent formal systems,Notre Dame Journal of Formal Logic, 15, 1974.

  6. S. C. Kleene,Introduction to Metamathematics. Van Nostrand, 1952.

  7. Tarcisio Pequeno,A Logic for Inconsistent Nonmonotonic Reasoning. Technical Report 90/6, Department of Computing, Imperial College, London, 1990.

    Google Scholar 

  8. Tarcisio Pequeno andArthur Buchsbaum,The logic of epistemic inconsistency,In Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, 1991.

  9. Raymond Reiter,A logic for default reasoning,Artificial Intelligence, 13, 1980.

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints 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

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01058392

Keywords

Navigation