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/71119Registro completo de metadatos
| Campo DC | Valor | Lengua/Idioma |
|---|---|---|
| dc.creator | Silva, Helen Gomes da | - |
| dc.creator | Feitosa, Hércules de Araujo | - |
| dc.creator | Cruz, Gabriel Alexandre da | - |
| dc.date | 2018-03-15 | - |
| dc.date.accessioned | 2022-03-21T17:28:40Z | - |
| dc.date.available | 2022-03-21T17:28:40Z | - |
| dc.identifier | https://revistas.marilia.unesp.br/index.php/kinesis/article/view/7730 | - |
| dc.identifier | 10.36311/1984-8900.2017.v9n20.09.p126 | - |
| dc.identifier.uri | http://biblioteca-repositorio.clacso.edu.ar/handle/CLACSO/71119 | - |
| dc.description | 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. | pt-BR |
| dc.format | application/pdf | - |
| dc.language | por | - |
| dc.publisher | Faculdade de Filosofia e Ciências | pt-BR |
| dc.relation | https://revistas.marilia.unesp.br/index.php/kinesis/article/view/7730/4918 | - |
| dc.rights | Copyright (c) 2018 Kínesis - Revista de Estudos dos Pós-Graduandos em Filosofia | pt-BR |
| dc.rights | http://creativecommons.org/licenses/by-nc-sa/4.0 | pt-BR |
| dc.source | Kínesis - Revista de Estudos dos Pós-Graduandos em Filosofia; v. 9 n. 20 (2017); 126-150 | pt-BR |
| dc.source | 1984-8900 | - |
| dc.subject | Lógica trivalente | pt-BR |
| dc.subject | Lógica paraconsistente J3 | pt-BR |
| dc.subject | Sistemas dedutivos | pt-BR |
| dc.subject | Método de tableaux | pt-BR |
| dc.title | UM SISTEMA DE TABLEAUX PARA A LÓGICA PARACONSISTENTE J3 | pt-BR |
| dc.type | info:eu-repo/semantics/article | - |
| dc.type | info:eu-repo/semantics/publishedVersion | - |
| Aparece en las colecciones: | Faculdade de Filosofia e Ciências - FFC/UNESP - Cosecha | |
Ficheros en este ítem:
No hay ficheros asociados a este ítem.
Los ítems de DSpace están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.