Artigos
A LÓGICA TK EM DEDUÇÃO NATURAL, CÁLCULO DE SEQUENTES E TABLEAUX
Ana Claudia de Jesus Golzio, Angela Pereira Rodrigues
Artigo
Ver fonte original- Autor
- Ana Claudia de Jesus Golzio, Angela Pereira Rodrigues
- Revista
- Kínesis - Revista de Estudos dos Pós-Graduandos em Filosofia
- Edição
- 2 / 04
- Ano
- 2010
- DOI
- 10.36311/1984-8900.2010.v2n04.4382
- Páginas
- 285-311
- Idioma
- pt
2010Ana Claudia de Jesus Golzio, Angela Pereira Rodrigues. A LÓGICA TK EM DEDUÇÃO NATURAL, CÁLCULO DE SEQUENTES E TABLEAUX. Kínesis - Revista de Estudos dos Pós-Graduandos em Filosofia, v. 2, n. 04, p. 285-311, 2010.2
(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.