Um estudo de C omega em calculo de sequentes e dedução natural

• Main Author: Moura, José Eduardo de Almeida
• Other Authors: UNIVERSIDADE ESTADUAL DE CAMPINAS
• Format: Others
• Language: Portuguese
• Published: [s.n.] 2001
• Subjects: Lógica simbólica e matemática; Lógica matemática não-clássica; Logica - Filosofia
• Online Access: MOURA, José Eduardo de Almeida. Um estudo de C omega em calculo de sequentes e dedução natural. 2001. 159 p. Tese (doutorado) - Universidade Estadual de Campinas,Instituto de Filosofia e Ciencias Humanas, Campinas, SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/280385>. Acesso em: 27 jul. 2018.; http://repositorio.unicamp.br/jspui/handle/REPOSIP/280385

Orientador: Itala Maria Loffredo D'Ottaviano === Tese (doutorado) - Universidade Estadual de Campinas,Instituto de Filosofia e Ciencias Humanas === Made available in DSpace on 2018-07-27T20:38:33Z (GMT). No. of bitstreams: 1 Moura_JoseEduardodeAlmeida_D.pdf: 6732549 bytes, checksum: bf228cc3830350eb48de2759857a076e (MD5) Previous issue date: 2001 === Resumo: A partir dos trabalhos de Raggio, datados de 1968 e 1978, sobre os sistemas Cn1<n>w, desenvolve-se uma análise de Cw em Cálculo de Seqüentes 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 a permissividade da definição de prova normal === Abstract: Following Raggio's 1968 and 1978 papers on Cn1<n>w systems, it isdeveloped here an analysis of Cw in Sequent Calculus and Natural Deduction, presenting respectively the Cut Elimination and the Strong Normalization Theorems as main results. Relevant characteristics are the treatment applied to negation and the permissibility of normal proof definition === Doutorado === Doutor em Filosofia