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.

Downloads

Download data is not yet available.

Downloads

Published

2022-11-12

Issue

v. 4 - Agosto 2015

Section

Artigos de Pesquisa

License

Copyright (c) 2022 C.Q.D. - Revista Eletrônica Paulista de Matemática

Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.

How to Cite

FEITOSA, H´ercules de Araujo; CRUZ, Gabriel Alexandre da; GOLZIO, Ana Cl´audia de Jesus. 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://revistas.bauru.unesp.br/index.php/revistacqd/article/view/45. Acesso em: 14 may. 2026.

Most read articles by the same author(s)