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

Description

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

Links & Downloads

1. (Broch.)
2. 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.
3. http://repositorio.unicamp.br/jspui/handle/REPOSIP/280385

Tags

Lógica simbólica e matemática

Lógica matemática não-clássica

Logica - Filosofia

Additional Fields

Identifer	oai:union.ndltd.org:IBICT/oai:repositorio.unicamp.br:REPOSIP/280385
Date	27 July 2018
Creators	Moura, José Eduardo de Almeida
Contributors	UNIVERSIDADE ESTADUAL DE CAMPINAS, D'Ottaviano, Itala Maria Loffredo, 1944-, Costa, Newton Carneiro A. da, Pereira, Luiz Carlos P. Dias, Alves, Elias Humberto, Alves, Daniel Durante P.
Publisher	[s.n.], Universidade Estadual de Campinas. Instituto de Filosofia e Ciências Humanas, Programa de Pós-Graduação em Filosofia
Source Sets	IBICT Brazilian ETDs
Language	Portuguese
Detected Language	Portuguese
Type	info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/doctoralThesis
Format	159 p., application/pdf
Source	reponame:Repositório Institucional da Unicamp, instname:Universidade Estadual de Campinas, instacron:UNICAMP
Rights	info:eu-repo/semantics/openAccess