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

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.