| Revista: | Kinesis (Marilia) |
| Base de datos: | CLASE |
| Número de sistema: | 000388161 |
| ISSN: | 1984-8900 |
| Autores: | Golzio, Ana Claudia de Jesus1 Rodrigues, Angela Pereira1 |
| Instituciones: | 1Universidade Estadual Paulista "Julio de Mesquita Filho", Faculdade de Filosofia e Ciencias, Marilia, Sao Paulo. Brasil |
| Año: | 2010 |
| Periodo: | Dic |
| Volumen: | 2 |
| Número: | 4 |
| Paginación: | 285-311 |
| País: | Brasil |
| Idioma: | Portugués |
| Tipo de documento: | Artículo |
| Enfoque: | Analítico, descriptivo |
| Resumen en inglés | (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 |
| Resumen en portugués | (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 |
| Disciplinas: | Filosofía |
| Palabras clave: | Lógica, Deducción natural, Cálculo, Secuencias |
| Texto completo: | Texto completo (Ver PDF) |
