Um novo sistema de axiomas para a l´ogica paraconsistente J3
Palavras-chave:
L´ogica paraconsistente, L´ogica trivalente, Modelo matricial, Sistema de axiomasResumo
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.
Downloads
Publicado
12-11-2022
Como Citar
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: 12 nov. 2024.
Edição
Seção
Artigos de Pesquisa
Licença
Copyright (c) 2022 C.Q.D. - Revista Eletrônica Paulista de Matemática
Este trabalho está licenciado sob uma licença Creative Commons Attribution 4.0 International License.