Buscas - Coleção Digital
    :                                                                                                 Direitos Autorais
PUC-Rio
PUC-Rio
Toolbox E-mail Help Plugins Acessos Area Restrita
aba parte esquerda Coleção Digital aba parte direita
aba parte esquerda Sala Virtual aba parte direita
aba parte esquerda Sala de Aula aba parte direita
aba parte esquerda Notícias aba parte direita
aba parte esquerda EMA aba parte direita
aba parte esquerda Projetos Especiais aba parte direita
Aumentar letra Diminuir letra Normal Contraste
 
Maxwell
imagem de espaçamento
  Página Inicial
imagem de espaçamento
  Buscas
imagem de espaçamento
imagem de espaçamento
imagem de espaçamento
imagem de espaçamento
imagem de espaçamento
imagem de espaçamento
imagem de espaçamento
imagem de espaçamento
imagem de espaçamento
imagem de espaçamento
  Estatísticas
imagem de espaçamento
imagem de espaçamento
imagem de espaçamento
imagem de espaçamento
imagem de espaçamento
  Sobre
imagem de espaçamento
rodape do menu
Consulta aos Conteúdos

 

Título: 2-CATEGORIA E TEORIA DA PROVA
Instituição: PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO - PUC-RIO
Autor(es): CECILIA REIS ENGLANDER LUSTOSA
Colaborador(es): EDWARD HERMANN HAEUSLER - Orientador
Catalogação: 12/02/2010 Idioma(s): INGLÊS - ESTADOS UNIDOS
Tipo: TEXTO Subtipo: TESE
Referência [pt]: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=15181@1
Referência [en]: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=15181@2
Resumo:
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.
Descrição Arquivo
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
<< voltar