A LÓGICA TK EM DEDUÇÃO NATURAL, CÁLCULO DE SEQUENTES E TABLEAUX
Kínesis - Revista de Estudos dos Pós-Graduandos em Filosofia - v. 2 n. 04 (2010) • Revista Kínesis
Autor: Ana Claudia de Jesus Golzio; Angela Pereira Rodrigues
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.
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.
ISSN: 1984-8900
DOI: https://doi.org/10.36311/1984-8900.2010.v2n04.4382
Texto Completo: https://revistas.marilia.unesp.br/index.php/kinesis/article/view/4382
Palavras-Chave: Sistema hilbertiano, Dedução natural, Cálculo de seqüentes, Tableaux, Lógica TK
Revista Kínesis
Foco e Escopo
A Kínesis - Revista de Estudos dos Pós-Graduandos em Filosofia é uma revista eletrônica acadêmica na área de Filosofia que tem por missão publicar e divulgar pesquisas de pós-graduandos e pós-graduados a partir de um criterioso processo de avaliação.
Surgiu em 2009 da iniciativa conjunta dos pós-graduandos em Filosofia do Programa de Pós-Graduação em Filosofia da Universidade Estadual Paulista (Unesp), Campus de Marília-SP.
A Revista atende exclusivamente a demanda de pesquisa e publicação de pós-graduandos e pós-graduados na área de Filosofia e suas articulações com as demais áreas do conhecimento (ciências, literatura, artes, etc); não publica trabalhos de graduandos e graduados.
Apoio Institucional
Tem apoio do Programa de Pós-Graduação em Filosofia e do Departamento de Filosofia da Universidade Estadual Paulista (Unesp), Campus de Marília-SP.
Avaliação Qualis CAPES
Na última avaliação trienal da CAPES (Quadriênio 2013-2016), a Kínesis foi avaliada com Qualis B2 em Filosofia.
Periodicidade e Fluxo de Submissão
A Kínesis publica seus números semestralmente e recebe trabalhos em fluxo contínuo, com exceção de números especiais ou dossiês que dependem de chamadas com datas específicas. Cada número terá no máximo 20 artigos. Em situações de grande número de trabalhos aprovados serão publicados os textos com data de submissão mais antiga e os demais textos serão publicados em números especiais; neste caso os autores serão comunicados.
Submissões: https://revistas.marilia.unesp.br/index.php/kinesis/about/submissions