Autor: Helen Gomes da Silva; Hércules de Araujo Feitosa; Gabriel Alexandre da Cruz

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.

Abstract:

Paraconsistent Logic J3 was introduced by D'Ottaviano and Costa (1970). That approach was motivated by a Javskowski's problem on aspects of paraconsistence. In (1985) D'Ottaviano developed a correct and complete axiomatic system for J3. Later, Feitosa, Cruz and Golzio (2015) introduced a new axiomatic system for the logic J3, which was simpler in relation to the first formalization. Considering that the Hilbert method for deductive systems is not very intuitive, nowadays there are alternative systems to the axiomatic one, which are more elucidative and, usually, faster. Among them, we highlight the method of tableaux. In this work, we present the Paraconsistent Logic J3 in an analytical tableaux system and prove the equivalence between the original approach and the tableau system introduced in the paper.

ISSN: 1984-8900

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

Texto Completo: https://revistas.marilia.unesp.br/index.php/kinesis/article/view/7730

Palavras-Chave: Lógica trivalente. Lógica paraconsistente J3. Sistemas dedutivos. Método de tableaux.