TABLÔS PARA A LÓGICA INTUICIONISTA I1
Kínesis - Revista de Estudos dos Pós-Graduandos em Filosofia - v.13 n. 35 (2021) • Revista Kínesis
Autor: Pedro Henrique Paiola, Hércules Araújo Feitosa
Resumo:
Este artigo trata de uma lógica de caráter intuicionista (construtivista) e do método dos tablôs, que tem maior interesse computacional por ser procedimento dedutivo, em geral, mais rápido e eficaz que o axiomático dedutivo. A meta é apresentar a lógica intuicionista I1 , que foi originalmente apresentada em um sistema dedutivo axiomático, como em Sette e Carnielli (1995), através do método dos tablôs. Por ser considerada intuicionista, também deve ser considerado o aspecto construtivista da lógica I1.
Abstract:
This paper detaches an intuitionistic (and constructivist) logic, the logic I1 , and the deductive systems of tableaux. The systems of tableaux have additional computational interest, for this deductive procedure is in general faster and effective than the axiomatic techniques. The aim is to introduce an original system of tableaux for the logic I1 , that was initially presented in an axiomatic deductive system, by Sette and Carnielli (1995). By the way it is highlighted the constructivist aspect of the logic I1
ISSN: 1984-8900
DOI: https://doi.org/10.36311/1984-8900.2021.v13n35.p268-297
Texto Completo: https://revistas.marilia.unesp.br/index.php/kinesis/article/view/12747
Palavras-Chave: Lógicas intuicionistas, Lógica I1, Método dos tablôs
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