Lógica intuicionista I1 : correção e completude
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 t...
Guardat en:
| Autors principals: | , |
|---|---|
| Format: | Artigo |
| Idioma: | Português |
| Publicat: |
UNESP
2020-02-01
|
| Col·lecció: | CQD Revista Eletrônica Paulista de Matemática |
| Matèries: | |
| Accés en línia: | https://sistemas.fc.unesp.br/ojs/index.php/revistacqd/article/view/239 |
| Etiquetes: |
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|