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

José Eduardo de Almeida Moura

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

Jose Eduardo de Almeida Moura

Material

TESE

Idioma

Português

ISBN

(Broch.)

Número de chamada

T/UNICAMP M865e

Publicação

Campinas, SP : [s.n.], 2001.

Descrição física

159 p.

Nota geral

Orientador: Itala Maria Loffredo D'Ottaviano

Nota de dissertação ou tese

Tese (doutorado) - Universidade Estadual de Campinas,Instituto de Filosofia e Ciencias Humanas

Resumo 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... Ver mais 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 Ver menos

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... Ver mais 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 Ver menos

Assuntos

Lógica simbólica e matemática

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

Logica - Filosofia

Autoria

Moura, José Eduardo de Almeida

D'Ottaviano, Itala Maria Loffredo, 1944- Orientador

Costa, Newton Carneiro A. da Avaliador

Pereira, Luiz Carlos Pinheiro Dias, 1955- Avaliador

Alves, Elias Humberto, 1936-2013 Avaliador

Alves, Daniel Durante Pereira, 1968- Avaliador

Universidade Estadual de Campinas (UNICAMP). Instituto de Filosofia e Ciências Humanas. Programa de Pós-Graduação em Filosofia

Sites

DOI: https://doi.org/10.47749/T/UNICAMP.2001.205521

Arquivos

Texto completo pdf

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

Jose Eduardo de Almeida Moura

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

Jose Eduardo de Almeida Moura

Exemplares

Nº de exemplares: 3
Não existem reservas para esta obra

Informações do exemplar	Informações do exemplar	Nº de chamada	Biblioteca	Situação
Tombo: 1150045838 Ano: 2001 Suporte: Impresso Nº de chamada: T/UNICAMP M865e Biblioteca : BCCL Situação: Não circula Visualizar QR Code	Tombo: 1150045838 Ano: 2001 Suporte: Impresso	T/UNICAMP M865e	BCCL	Não circula
Tombo: 1150085148 Ano: 2001 Suporte: Impresso Nº de chamada: T/UNICAMP M865e Biblioteca : CLE Situação: Disponível Visualizar QR Code	Tombo: 1150085148 Ano: 2001 Suporte: Impresso	T/UNICAMP M865e	CLE	Disponível
Tombo: 1150045870 Ano: 2001 Suporte: Impresso Nº de chamada: T/UNICAMP M865e Biblioteca : IFCH Situação: Disponível Visualizar QR Code	Tombo: 1150045870 Ano: 2001 Suporte: Impresso	T/UNICAMP M865e	IFCH	Disponível

Terminal de consulta web

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

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

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

Exemplares