Lógica intuicionista I1 : correção e completude

Autores

  • Pedro Henrique Paiola Faculdade de Ciências UNESP - Universidade Estadual Paulista “Júlio de Mesquita Filho”
  • Hércules de Araujo Feitosa Faculdade de Ciências UNESP - Universidade Estadual Paulista “Júlio de Mesquita Filho”

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

24-02-2020

Como Citar

PAIOLA, P. H.; FEITOSA, H. de A. Lógica intuicionista I1 : correção e completude. C.Q.D. - Revista Eletrônica Paulista de Matemática, Bauru, v. 17, 2020. Disponível em: https://sistemas.fc.unesp.br/ojs/index.php/revistacqd/article/view/239. Acesso em: 12 nov. 2024.