Artigo
Ver fonte original- Autor
- Pedro Henrique Paiola, Hércules Araújo Feitosa
- Revista
- Kínesis - Revista de Estudos dos Pós-Graduandos em Filosofia
- Edição
- 13 / 35
- Ano
- 2021
- DOI
- 10.36311/1984-8900.2021.v13n35.p268-297
- Páginas
- 268-297
- Idioma
- pt
2021Pedro Henrique Paiola, Hércules Araújo Feitosa. TABLÔS PARA A LÓGICA INTUICIONISTA I1. Kínesis - Revista de Estudos dos Pós-Graduandos em Filosofia, v. 13, n. 35, p. 268-297, 2021.1
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.
Palavras-chave: