IF142 Teoria da Prova

 

Pré-requisitos

1. Lógica Aplicada à Computação, IF312

Ementa

1. Dedução Natural
2. Cálculo de Seqüentes
3. Interpretação de Curry-Howard
4. Teorema da Normalização
5. Eliminação do Corte
6. Lógicas Não-Clássicas

Referências

1. Girard, J.-Y.: `PROOF THEORY AND LOGICAL COMPLEXITY', Bibliopolis, 1987.
2. Troelstra, A. & van Dalen, D.: `CONSTRUCTIVISM IN MATHEMATICS', Vol. II, North-Holland, 1988.
3. Martin-Löf, M.: `INTUITIONISTIC TYPE THEORY', Bibliopolis, 1984.