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

Os dados de download ainda não estão disponíveis.

Downloads

Publicado

12-11-2022

Edição

v. 4 - Agosto 2015

Seção

Artigos de Pesquisa

Licença

Direitos autorais (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.

Como Citar

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: 2 jun. 2026.

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