Voltar
Artigo Acesso aberto Produção Nacional Revisado por pares
BIBTEX RIS

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

2010; Volume: 2; Issue: 04 Linguagem: Português

10.36311/1984-8900.2010.v2n04.4382

ISSN

1984-8900

Autores

Ana Claudia De Jesus Golzio, Angela Pereira Rodrigues,

Tópico(s)

Chemistry Education and Research

Resumo

(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.

Referência(s)