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

Autores

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

Palavras-chave:

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

Resumo

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: 23 dez. 2024.

Edição

v. 4 - Agosto 2015

Seção

Artigos de Pesquisa

Licença

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

Creative Commons License
Este trabalho está licenciado sob uma licença Creative Commons Attribution 4.0 International License.

Artigos mais lidos pelo mesmo(s) autor(es)