TABLÔS PARA A LÓGICA INTUICIONISTA I1

Abstract

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.

Keywords

• Lógicas intuicionistas
• Lógica I1
• Método dos tablôs