Please use this identifier to cite or link to this item: http://repositorio.unicamp.br/jspui/handle/REPOSIP/280385
Type: TESE
Degree Level: Doutorado
Title: Um estudo de C omega em calculo de sequentes e dedução natural
Author: Moura, José Eduardo de Almeida
Advisor: D'Ottaviano, Itala Maria Loffredo, 1944-
Abstract: 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
Subject: Lógica simbólica e matemática
Lógica matemática não-clássica
Logica - Filosofia
Language: Português
Editor: [s.n.]
Date Issue: 2001
Appears in Collections:IFCH - Tese e Dissertação

Files in This Item:
File SizeFormat 
Moura_JoseEduardodeAlmeida_D.pdf6.57 MBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.