Lógica intuicionista I1 : correção e completude
Palavras-chave:
Matemática Discreta, Lógicas não-clássicas, Lógicas intuicionistas, Lógica I1.Resumo
O propósito desse artigo é apresentar a lógica intuicionista I1, que foi originalmente introduzida por Sette e Carnielli (1995), e dar provas de correção e completude entre o sistema axiomático e a semântica matricial da Lógica I1, de modo original e independente das demonstrações apresentadas no texto introdutório. Esse artigo também traz alguns breves comentários sobre o intuicionismo e lógicas intuicionistas.
Downloads
Publicado
Como Citar
Edição
Seção
Licença
Copyright (c) 2022 C.Q.D. - Revista Eletrônica Paulista de Matemática
Este trabalho está licenciado sob uma licença Creative Commons Attribution 4.0 International License.