Título
[pt] 2-CATEGORIA E TEORIA DA PROVA
Título
[en] 2-CATEGORY AND PROOF THEORY
Autor
[pt] CECILIA GONCALVES REIS ENGLANDER
Vocabulário
[pt] DEDUCAO NATURAL
Vocabulário
[pt] LOGICA CATEGORICA
Vocabulário
[pt] TEORIA DAS CATEGORIAS
Vocabulário
[en] NATURAL DEDUCTION
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.
Resumo
[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.
Orientador(es)
EDWARD HERMANN HAEUSLER
Banca
EDWARD HERMANN HAEUSLER
Banca
LUIZ CARLOS PEREIRA
Banca
MARIO ROBERTO F BENEVIDES
Banca
MARCELO DA SILVA CORREA
Catalogação
2010-02-12
Apresentação
2009-08-20
Tipo
[pt] TEXTO
Formato
application/pdf
Formato
application/pdf
Formato
application/pdf
Formato
application/pdf
Formato
application/pdf
Formato
application/pdf
Formato
application/pdf
Idioma(s)
INGLÊS
Referência [pt]
https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=15181@1
Referência [en]
https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=15181@2
Referência DOI
https://doi.org/10.17771/PUCRio.acad.15181
Arquivos do conteúdo
CAPA, AGRADECIMENTOS, RESUMO, ABSTRACT E SUMÁRIO PDF CAPÍTULO 1 PDF CAPÍTULO 2 PDF CAPÍTULO 3 PDF CAPÍTULO 4 PDF CAPÍTULO 5 PDF REFERÊNCIAS BIBLIOGRÁFICAS E APÊNDICES PDF