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

Detalhes bibliográficos
Autor(a) principal: Moura, José Eduardo de Almeida
Data de Publicação: 2001
Tipo de documento: Tese
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
Texto Completo: https://hdl.handle.net/20.500.12733/1589781
Resumo: Orientador: Itala Maria Loffredo D'Ottaviano
id UNICAMP-30_ec75a800ecc550ffd17a601af4885dd0
oai_identifier_str oai::205521
network_acronym_str UNICAMP-30
network_name_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository_id_str
spelling Um estudo de C omega em calculo de sequentes e dedução naturalLógica simbólica e matemáticaLógica matemática não-clássicaLogica - FilosofiaOrientador: Itala Maria Loffredo D'OttavianoTese (doutorado) - Universidade Estadual de Campinas,Instituto de Filosofia e Ciencias HumanasResumo: 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 normalAbstract: 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 definitionDoutoradoDoutor em Filosofia[s.n.]D'Ottaviano, Itala Maria Loffredo, 1944-Costa, Newton Carneiro A. daPereira, Luiz Carlos Pinheiro DiasAlves, Elias HumbertoAlves, Daniel Durante PereiraUniversidade Estadual de Campinas. Instituto de Filosofia e Ciências HumanasPrograma de Pós-Graduação em FilosofiaUNIVERSIDADE ESTADUAL DE CAMPINASMoura, José Eduardo de Almeida2001info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisapplication/pdf159 p.(Broch.)https://hdl.handle.net/20.500.12733/1589781MOURA, 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: https://hdl.handle.net/20.500.12733/1589781. Acesso em: 14 mai. 2024.https://repositorio.unicamp.br/acervo/detalhe/205521porreponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPinfo:eu-repo/semantics/openAccess2017-02-18T03:19:04Zoai::205521Biblioteca Digital de Teses e DissertaçõesPUBhttp://repositorio.unicamp.br/oai/tese/oai.aspsbubd@unicamp.bropendoar:2017-02-18T03:19:04Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv Um estudo de C omega em calculo de sequentes e dedução natural
title Um estudo de C omega em calculo de sequentes e dedução natural
spellingShingle Um estudo de C omega em calculo de sequentes e dedução natural
Moura, José Eduardo de Almeida
Lógica simbólica e matemática
Lógica matemática não-clássica
Logica - Filosofia
title_short Um estudo de C omega em calculo de sequentes e dedução natural
title_full Um estudo de C omega em calculo de sequentes e dedução natural
title_fullStr Um estudo de C omega em calculo de sequentes e dedução natural
title_full_unstemmed Um estudo de C omega em calculo de sequentes e dedução natural
title_sort Um estudo de C omega em calculo de sequentes e dedução natural
author Moura, José Eduardo de Almeida
author_facet Moura, José Eduardo de Almeida
author_role author
dc.contributor.none.fl_str_mv D'Ottaviano, Itala Maria Loffredo, 1944-
Costa, Newton Carneiro A. da
Pereira, Luiz Carlos Pinheiro Dias
Alves, Elias Humberto
Alves, Daniel Durante Pereira
Universidade Estadual de Campinas. Instituto de Filosofia e Ciências Humanas
Programa de Pós-Graduação em Filosofia
UNIVERSIDADE ESTADUAL DE CAMPINAS
dc.contributor.author.fl_str_mv Moura, José Eduardo de Almeida
dc.subject.por.fl_str_mv Lógica simbólica e matemática
Lógica matemática não-clássica
Logica - Filosofia
topic Lógica simbólica e matemática
Lógica matemática não-clássica
Logica - Filosofia
description Orientador: Itala Maria Loffredo D'Ottaviano
publishDate 2001
dc.date.none.fl_str_mv 2001
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv (Broch.)
https://hdl.handle.net/20.500.12733/1589781
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: https://hdl.handle.net/20.500.12733/1589781. Acesso em: 14 mai. 2024.
identifier_str_mv (Broch.)
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: https://hdl.handle.net/20.500.12733/1589781. Acesso em: 14 mai. 2024.
url https://hdl.handle.net/20.500.12733/1589781
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://repositorio.unicamp.br/acervo/detalhe/205521
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
159 p.
dc.publisher.none.fl_str_mv [s.n.]
publisher.none.fl_str_mv [s.n.]
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
instname:Universidade Estadual de Campinas (UNICAMP)
instacron:UNICAMP
instname_str Universidade Estadual de Campinas (UNICAMP)
instacron_str UNICAMP
institution UNICAMP
reponame_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
collection Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)
repository.mail.fl_str_mv sbubd@unicamp.br
_version_ 1799138354013405184

Registros relacionados