Tese
- Autor
- José Eduardo de Almeida Moura
- Orientador(a)
- Itala Maria Loffredo D' Ottaviano
- Universidade
- UNIVERSIDADE ESTADUAL DE CAMPINAS — UNICAMP
- Programa
- FILOSOFIA
- Grau
- DOUTORADO
- Ano
- 2001
2001José Eduardo de Almeida Moura. Um estudo de C (ômega) em cálculo de sequentes, dedução natural. 2001. Tese (DOUTORADO em FILOSOFIA) — UNIVERSIDADE ESTADUAL DE CAMPINAS, SP. Orientador(a): Itala Maria Loffredo D' Ottaviano.2
A partir dos trabalhos de Raggio, datados de 1968 e 1978, sobre os sistemas Cn, 1(símbolo) n (símbolo) ômega, desenvolve-se uma análise de C (ômega) em Cálculos de Sequëntes e Dedução Natural, apresentando como resultados mais destacados os Teoremas de Eliminação do Corte e a de Normalização Forte. Características relevantes são o tratamento dado à negação e à permissividade da definição da prova normal.