UM SISTEMA DE TABLEAUX PARA A LÓGICA PARACONSISTENTE J3

Autores

  • Helen Gomes da Silva Mestranda em Filosofia pela Universidade Estadual Paulista (Unesp), Campus de Marília
  • Hércules de Araujo Feitosa Professor do Departamento de Matemática da Universidade Estadual Paulista (Unesp), Campus de Bauru
  • Gabriel Alexandre da Cruz Licenciando em Matemática pela Universidade Estadual Paulista (Unesp), Campus de Bauru

DOI:

https://doi.org/10.36311/1984-8900.2017.v9n20.09.p126

Palavras-chave:

Lógica trivalente, Lógica paraconsistente J3, Sistemas dedutivos, Método de tableaux

Resumo

A Lógica paraconsistente J3 foi introduzida por D’Ottaviano e da Costa (1970). Tal abordagem foi proposta ao considerar o problema de Jàskowski que tratava de aspectos da paraconsistência. Em (1985) D’Ottaviano apresentou um sistema axiomático correto e completo para J3. Posteriormente, Feitosa, Cruz e Golzio (2015) introduziram um novo sistema axiomático para a lógica J3, mais simples em relação à primeira formalização. Diante do fato que o método hilbertiano é pouco intuitivo, hoje, existem sistemas de prova alternativos ao axiomático, os quais são mais elucidativos e, usualmente, mais rápidos. Dentre eles, destacamos o método dos tableaux analíticos. Neste trabalho, apresentamos a Lógica paraconsistenteJ3em um sistema de tableaux e mostramos a equivalência entre a abordagem original e o sistema de tableaux que introduzimos nestas notas.

Downloads

Não há dados estatísticos.

Downloads

Publicado

2018-03-15

Edição

Seção

Artigos