UM SISTEMA DE TABLEAUX PARA A LÓGICA PARACONSISTENTE J3

Red de Bibliotecas Virtuales de Ciencias Sociales en
América Latina y el Caribe

Por favor, use este identificador para citar o enlazar este ítem: https://biblioteca-repositorio.clacso.edu.ar/handle/CLACSO/71119

Título :	UM SISTEMA DE TABLEAUX PARA A LÓGICA PARACONSISTENTE J3
Palabras clave :	Lógica trivalente;Lógica paraconsistente J3;Sistemas dedutivos;Método de tableaux
Editorial :	Faculdade de Filosofia e Ciências
Descripción :	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.
URI :	http://biblioteca-repositorio.clacso.edu.ar/handle/CLACSO/71119
Otros identificadores :	https://revistas.marilia.unesp.br/index.php/kinesis/article/view/7730 10.36311/1984-8900.2017.v9n20.09.p126
Aparece en las colecciones:	Faculdade de Filosofia e Ciências - FFC/UNESP - Cosecha

Ficheros en este ítem:

No hay ficheros asociados a este ítem.