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.