[pt] 2-CATEGORIA E TEORIA DA PROVA

Detalhes bibliográficos
Ano de defesa: 2010
Autor(a) principal: CECILIA GONCALVES REIS ENGLANDER
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Tese
Tipo de acesso: Acesso aberto
Idioma: eng
Instituição de defesa: MAXWELL
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
[pt] DEDUCAO NATURAL
[pt] LOGICA CATEGORICA
[pt] TEORIA DAS CATEGORIAS
[en] NATURAL DEDUCTION
Link de acesso: https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=15181&idi=1
https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=15181&idi=2
http://doi.org/10.17771/PUCRio.acad.15181
Resumo: [pt] Dedução Natural para a lógica intuicionista tem sido relacionada à Teoria das Categorias através do que agora é conhecido por Lógica Categórica. Essa relação é fortemente baseada no isomorfismo de Curry-Howard entre Dedução Natural e (lambda)-Cálculo Tipado. Esta dissertação descreve alguns aspectos dessa relação com o objetivo de propor uma visão 2-categórica da Lógica Categórica. Mostramos que mesmo numa visão 2-cateórica algumas desvantagens conhecidas na Teoria das Categorias continuam valendo. Concluímos essa dissertação discutindo as vantagens de uma visão 2-categórica a partir de premissas mais fracas.
id PUC_RIO-1_0fa8667e7687bbd90d1ac48057874d5f
oai_identifier_str oai:MAXWELL.puc-rio.br:15181
network_acronym_str PUC_RIO-1
network_name_str Repositório Institucional da PUC-RIO (Projeto Maxwell)
repository_id_str
spelling [pt] 2-CATEGORIA E TEORIA DA PROVA [en] 2-CATEGORY AND PROOF THEORY [pt] DEDUCAO NATURAL[pt] LOGICA CATEGORICA[pt] TEORIA DAS CATEGORIAS[en] NATURAL DEDUCTION[pt] Dedução Natural para a lógica intuicionista tem sido relacionada à Teoria das Categorias através do que agora é conhecido por Lógica Categórica. Essa relação é fortemente baseada no isomorfismo de Curry-Howard entre Dedução Natural e (lambda)-Cálculo Tipado. Esta dissertação descreve alguns aspectos dessa relação com o objetivo de propor uma visão 2-categórica da Lógica Categórica. Mostramos que mesmo numa visão 2-cateórica algumas desvantagens conhecidas na Teoria das Categorias continuam valendo. Concluímos essa dissertação discutindo as vantagens de uma visão 2-categórica a partir de premissas mais fracas. [en] Natural Deduction for intuitionistic logic has been related to Category Theory by what now is known as Categorical Logic. This relationship is strongly based on the Curry-Howard Isomorphism between Natural Deduction and typed (lambda)-Calculus. This dissertation describes some aspects of these relationship with the aim of proposing a 2-categorical view of categorical logic. We show that even under this 2-categorical view some of the drawbacks already known in ordinary Category Theory remain holding. We conclude this dissertation discussing the advantages of 2-categorical view under some weaker assumptions.MAXWELLEDWARD HERMANN HAEUSLERCECILIA GONCALVES REIS ENGLANDER2010-02-12info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesishttps://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=15181&idi=1https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=15181&idi=2http://doi.org/10.17771/PUCRio.acad.15181engreponame:Repositório Institucional da PUC-RIO (Projeto Maxwell)instname:Pontifícia Universidade Católica do Rio de Janeiro (PUC-RIO)instacron:PUC_RIOinfo:eu-repo/semantics/openAccess2017-09-14T00:00:00Zoai:MAXWELL.puc-rio.br:15181Repositório InstitucionalPRIhttps://www.maxwell.vrac.puc-rio.br/ibict.phpopendoar:5342017-09-14T00:00Repositório Institucional da PUC-RIO (Projeto Maxwell) - Pontifícia Universidade Católica do Rio de Janeiro (PUC-RIO)false
dc.title.none.fl_str_mv [pt] 2-CATEGORIA E TEORIA DA PROVA
[en] 2-CATEGORY AND PROOF THEORY
title [pt] 2-CATEGORIA E TEORIA DA PROVA
spellingShingle [pt] 2-CATEGORIA E TEORIA DA PROVA
CECILIA GONCALVES REIS ENGLANDER
[pt] DEDUCAO NATURAL
[pt] LOGICA CATEGORICA
[pt] TEORIA DAS CATEGORIAS
[en] NATURAL DEDUCTION
title_short [pt] 2-CATEGORIA E TEORIA DA PROVA
title_full [pt] 2-CATEGORIA E TEORIA DA PROVA
title_fullStr [pt] 2-CATEGORIA E TEORIA DA PROVA
title_full_unstemmed [pt] 2-CATEGORIA E TEORIA DA PROVA
title_sort [pt] 2-CATEGORIA E TEORIA DA PROVA
author CECILIA GONCALVES REIS ENGLANDER
author_facet CECILIA GONCALVES REIS ENGLANDER
author_role author
dc.contributor.none.fl_str_mv EDWARD HERMANN HAEUSLER
dc.contributor.author.fl_str_mv CECILIA GONCALVES REIS ENGLANDER
dc.subject.por.fl_str_mv [pt] DEDUCAO NATURAL
[pt] LOGICA CATEGORICA
[pt] TEORIA DAS CATEGORIAS
[en] NATURAL DEDUCTION
topic [pt] DEDUCAO NATURAL
[pt] LOGICA CATEGORICA
[pt] TEORIA DAS CATEGORIAS
[en] NATURAL DEDUCTION
description [pt] Dedução Natural para a lógica intuicionista tem sido relacionada à Teoria das Categorias através do que agora é conhecido por Lógica Categórica. Essa relação é fortemente baseada no isomorfismo de Curry-Howard entre Dedução Natural e (lambda)-Cálculo Tipado. Esta dissertação descreve alguns aspectos dessa relação com o objetivo de propor uma visão 2-categórica da Lógica Categórica. Mostramos que mesmo numa visão 2-cateórica algumas desvantagens conhecidas na Teoria das Categorias continuam valendo. Concluímos essa dissertação discutindo as vantagens de uma visão 2-categórica a partir de premissas mais fracas.
publishDate 2010
dc.date.none.fl_str_mv 2010-02-12
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 https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=15181&idi=1
https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=15181&idi=2
http://doi.org/10.17771/PUCRio.acad.15181
url https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=15181&idi=1
https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=15181&idi=2
http://doi.org/10.17771/PUCRio.acad.15181
dc.language.iso.fl_str_mv eng
language eng
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv MAXWELL
publisher.none.fl_str_mv MAXWELL
dc.source.none.fl_str_mv reponame:Repositório Institucional da PUC-RIO (Projeto Maxwell)
instname:Pontifícia Universidade Católica do Rio de Janeiro (PUC-RIO)
instacron:PUC_RIO
instname_str Pontifícia Universidade Católica do Rio de Janeiro (PUC-RIO)
instacron_str PUC_RIO
institution PUC_RIO
reponame_str Repositório Institucional da PUC-RIO (Projeto Maxwell)
collection Repositório Institucional da PUC-RIO (Projeto Maxwell)
repository.name.fl_str_mv Repositório Institucional da PUC-RIO (Projeto Maxwell) - Pontifícia Universidade Católica do Rio de Janeiro (PUC-RIO)
repository.mail.fl_str_mv
_version_ 1862548572120023040

Registros relacionados