Cálculos de múltipla conclusão para a lógica intuicionista sob uma perspectiva geométrica
Como verificar se uma prova clássica também é intuicionista? Em dedução natural basta não haver ocorrência da lei do terceiro excluído ou da eliminação da dupla negação, conforme proposto por Gentzen. No seu cálculo de sequentes o mesmo resultado é alcançado restringindo o número de fórmulas no lado...
| Main Author: | CARVALHO, Ruan Vasconcelos Bezerra |
|---|---|
| Other Authors: | OLIVEIRA, Anjolina Grisi de |
| Format: | doctoralThesis |
| Language: | por |
| Published: |
Universidade Federal de Pernambuco
2018
|
| Subjects: | |
| Online Access: |
https://repositorio.ufpe.br/handle/123456789/28009 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|