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...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | Portuguese |
| Published: |
Universidade Estadual Paulista (UNESP)
2010-12-01
|
| Series: | Kínesis |
| Subjects: | |
| Online Access: | https://revistas.marilia.unesp.br/index.php/kinesis/article/view/4382 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1850133055022301184 |
|---|---|
| author | Ana Claudia de Jesus Golzio Angela Pereira Rodrigues |
| author_facet | Ana Claudia de Jesus Golzio Angela Pereira Rodrigues |
| author_sort | Ana Claudia de Jesus Golzio |
| collection | DOAJ |
| description |
(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.
|
| format | Article |
| id | doaj-art-1e638da4c48a49f09ffd44d94e70f3c0 |
| institution | OA Journals |
| issn | 1984-8900 |
| language | Portuguese |
| publishDate | 2010-12-01 |
| publisher | Universidade Estadual Paulista (UNESP) |
| record_format | Article |
| series | Kínesis |
| spelling | doaj-art-1e638da4c48a49f09ffd44d94e70f3c02025-08-20T02:32:04ZporUniversidade Estadual Paulista (UNESP)Kínesis1984-89002010-12-0120410.36311/1984-8900.2010.v2n04.4382A LÓGICA TK EM DEDUÇÃO NATURAL, CÁLCULO DE SEQUENTES E TABLEAUXAna Claudia de Jesus Golzio0Angela Pereira Rodrigues1Mestranda em Filosofia pela Universidade Estadual Paulista (Unesp), Campus de MaríliaMestranda em Filosofia pela Universidade Estadual Paulista (Unesp), Campus de Marília (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. https://revistas.marilia.unesp.br/index.php/kinesis/article/view/4382Sistema hilbertianoDedução naturalCálculo de seqüentesTableauxLógica TK |
| spellingShingle | Ana Claudia de Jesus Golzio Angela Pereira Rodrigues A LÓGICA TK EM DEDUÇÃO NATURAL, CÁLCULO DE SEQUENTES E TABLEAUX Kínesis Sistema hilbertiano Dedução natural Cálculo de seqüentes Tableaux Lógica TK |
| title | A LÓGICA TK EM DEDUÇÃO NATURAL, CÁLCULO DE SEQUENTES E TABLEAUX |
| title_full | A LÓGICA TK EM DEDUÇÃO NATURAL, CÁLCULO DE SEQUENTES E TABLEAUX |
| title_fullStr | A LÓGICA TK EM DEDUÇÃO NATURAL, CÁLCULO DE SEQUENTES E TABLEAUX |
| title_full_unstemmed | A LÓGICA TK EM DEDUÇÃO NATURAL, CÁLCULO DE SEQUENTES E TABLEAUX |
| title_short | A LÓGICA TK EM DEDUÇÃO NATURAL, CÁLCULO DE SEQUENTES E TABLEAUX |
| title_sort | logica tk em deducao natural calculo de sequentes e tableaux |
| topic | Sistema hilbertiano Dedução natural Cálculo de seqüentes Tableaux Lógica TK |
| url | https://revistas.marilia.unesp.br/index.php/kinesis/article/view/4382 |
| work_keys_str_mv | AT anaclaudiadejesusgolzio alogicatkemdeducaonaturalcalculodesequentesetableaux AT angelapereirarodrigues alogicatkemdeducaonaturalcalculodesequentesetableaux AT anaclaudiadejesusgolzio logicatkemdeducaonaturalcalculodesequentesetableaux AT angelapereirarodrigues logicatkemdeducaonaturalcalculodesequentesetableaux |