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/70823| Título : | A LÓGICA TK EM DEDUÇÃO NATURAL, CÁLCULO DE SEQUENTES E TABLEAUX |
| Palabras clave : | Sistema hilbertiano;Dedução natural;Cálculo de seqüentes;Tableaux;Lógica TK |
| Editorial : | Faculdade de Filosofia e Ciências |
| Descripción : | (Feitosa, Grácio, Nascimento, 2007) introduziram uma nova lógica, a Lógica TK, que foi apresentada inicialmente no estilo hilbertiano. O objetivo deste trabalho é apresentar a Lógica TK em sistemas de dedução natural, cálculo de sequentes e tableaux assim como demonstrar a equivalência entre esses novos sistemas e o original. |
| URI : | http://biblioteca-repositorio.clacso.edu.ar/handle/CLACSO/70823 |
| Otros identificadores : | https://revistas.marilia.unesp.br/index.php/kinesis/article/view/4382 10.36311/1984-8900.2010.v2n04.4382 |
| 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.