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

Authors

  • 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”

Keywords:

Matemática Discreta, Lógicas não-clássicas, Lógicas intuicionistas, Lógica I1.

Abstract

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

Published

2020-02-24

How to Cite

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: 20 may. 2024.

Issue

v.17 - Edição Ermac Iniciação Científica - Fevereiro 2020

Section

Artigos de Pesquisa

License

Copyright (c) 2022 C.Q.D. - Revista Eletrônica Paulista de Matemática

Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.