2-CATEGORY AND PROOF THEORY / 2-CATEGORIA E TEORIA DA PROVA
AUTOR(ES)
CECILIA REIS ENGLANDER LUSTOSA
DATA DE PUBLICAÇÃO
2009
RESUMO
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.
ASSUNTO(S)
deducao natural natural deduction
ACESSO AO ARTIGO
Documentos Relacionados
- Dinamização do ônus da prova: teoria e prática
- Teoria morfológica, sintática e semântica da prova e sua pragmática no processo administrativo tributário federal
- Teoria da distribuição dinâmica do ônus da prova no processo do trabalho
- PERMANENT EXCEPTION: INTRODUCTION TO A CATEGORY FOR THE CONSTITUTIONAL THEORY IN CENTURY XXI
- A categoria de tempo na enunciação da língua francesa