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

全面介绍

书目详细资料
Main Authors: Ana Claudia de Jesus Golzio, Angela Pereira Rodrigues
格式: 文件
语言:Portuguese
出版: Universidade Estadual Paulista (UNESP) 2010-12-01
丛编:Kínesis
主题:
在线阅读:https://revistas.marilia.unesp.br/index.php/kinesis/article/view/4382