Journal: | Kinesis (Marilia) |
Database: | CLASE |
System number: | 000388161 |
ISSN: | 1984-8900 |
Authors: | Golzio, Ana Claudia de Jesus1 Rodrigues, Angela Pereira1 |
Institutions: | 1Universidade Estadual Paulista "Julio de Mesquita Filho", Faculdade de Filosofia e Ciencias, Marilia, Sao Paulo. Brasil |
Year: | 2010 |
Season: | Dic |
Volumen: | 2 |
Number: | 4 |
Pages: | 285-311 |
Country: | Brasil |
Language: | Portugués |
Document type: | Artículo |
Approach: | Analítico, descriptivo |
English abstract | (Feitosa, Grácio, Nascimento, 2007) introduced a new logic, the TK Logic, that was presented initially in the Hilbert style. The objective of this work is to present the TK Logic in systems of natural deduction, sequent calculus and tableaux as well as to show the equivalence between this new systems and the original one |
Portuguese abstract | (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 |
Disciplines: | Filosofía |
Keyword: | Lógica, Deducción natural, Cálculo, Secuencias |
Full text: | Texto completo (Ver PDF) |