Um novo sistema de axiomas para a l´ogica paraconsistente J3

Authors

  • H´ercules de Araujo Feitosa
  • Gabriel Alexandre da Cruz
  • Ana Cl´audia de Jesus Golzio

Keywords:

L´ogica paraconsistente, L´ogica trivalente, Modelo matricial, Sistema de axiomas

Abstract

We investigate the paraconsistent logic J3. As original result we propose a new sistem of axioms for J3 and present results of soundness and completeness (adequacy) evolving the original three valued matrix semantic for J3.

Published

2022-11-12

How to Cite

FEITOSA, H. de A.; CRUZ, G. A. da; GOLZIO, A. C. de J. Um novo sistema de axiomas para a l´ogica paraconsistente J3. C.Q.D. - Revista Eletrônica Paulista de Matemática, Bauru, v. 4, 2022. Disponível em: https://sistemas.fc.unesp.br/ojs/index.php/revistacqd/article/view/45. Acesso em: 22 nov. 2024.

Issue

Section

Artigos de Pesquisa

Most read articles by the same author(s)