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...
Bewaard in:
| Hoofdauteurs: | , |
|---|---|
| Formaat: | Artigo |
| Taal: | Português |
| Gepubliceerd in: |
Universidade Estadual Paulista (UNESP)
2021-11-01
|
| Reeks: | Kínesis |
| Onderwerpen: | |
| Online toegang: | https://revistas.marilia.unesp.br/index.php/kinesis/article/view/12747 |
| Tags: |
Geen labels, Wees de eerste die dit record labelt!
|