A LÓGICA TK EM DEDUÇÃO NATURAL, CÁLCULO DE SEQUENTES E TABLEAUX

A LÓGICA TK EM DEDUÇÃO NATURAL, CÁLCULO DE SEQUENTES E TABLEAUX

(Feitosa, Grácio, Nascimento, 2007) introduziram uma nova lógica, a LógicaTK, 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 no...

Saved in:
Journal Title: Kínesis
First author: Ana Claudia de Jesus GOLZIO (UNESP/Marília)
Other Authors: Angela Pereira RODRIGUES (UNESP/Marília)
Language: Portuguese
Get full text: http://revistas.marilia.unesp.br/index.php/kinesis/article/view/4382
Resource type: Journal Article
Source: Kínesis; Vol II, No 4 (Year 2010).
Publisher: Universidade Estadual Paulista 'Júlio de Mesquita Filho'
Usage rights: Reconocimiento - NoComercial - CompartirIgual (by-nc-sa)
Categories: Social Sciences/Humanities --> Philosophy
Abstract: (Feitosa, Grácio, Nascimento, 2007) introduziram uma nova lógica, a LógicaTK, 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.