TABLÔS PARA A LÓGICA INTUICIONISTA I1
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 apres...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | Portuguese |
| Published: |
Universidade Estadual Paulista (UNESP)
2021-11-01
|
| Series: | Kínesis |
| Subjects: | |
| Online Access: | https://revistas.marilia.unesp.br/index.php/kinesis/article/view/12747 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Summary: | 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.
|
|---|---|
| ISSN: | 1984-8900 |