NORMALIZAÇÃO FORTE PARA A LÓGICA INTUICIONISTA DE 1ª ORDEM COM REDUÇÕES PERMUTATIVAS

Série 1 v. 7 • Cadernos de História e Filosofia da Ciência

Autor: Luiz Carlos P.D. Pereira

Resumo:

Podemos distinguir três tipos de resultados fundamentais em Teoria da Prova: 
1 - Teorema da Forma Normal;
2 - Teorema da Normalização;
3 - Teorema da Normalização Forte.

Texto Completo: https://www.cle.unicamp.br/eprints/index.php/cadernos/article/view/1201

Cadernos de História e Filosofia da Ciência

Os Cadernos de História e Filosofia da Ciência dirigem-se especialmente ao público interessado nas áreas de Epistemologia, Filosofia da Ciência, Teoria do Conhecimento e História das Ciências. Têm por objetivo central a publicação de artigos e notas originais de pesquisadores nacionais e estrangeiros, traduções de textos concernentes aos temas mais centrais da reflexão filosófica, metodológica e histórica sobre a ciência, e traduções comentadas de textos marcantes do desenrolar histórico dessa reflexão, bem como resenhas nas áreas do conhecimento em que os Cadernos atuam.