Identity of Proofs Based on Normalization and Generality

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

In general proof theory there are two approaches to the question of identity criteria for proofs. The first approach, which stems from Prawitz, Kreisel and Lambek, and is based on normalization of proofs, gives good results in intuitionistic, but not in classical logic. The second approach, which stems from Lambek, Mac Lane and Kelly, and is inspired by the generality of proofs, seems to be more promissing in classical logic.
29 pages, corrected remark about difunctionality, updated references

Keywords

Logic, Category Theory, 03F03, 03F07, 03A05, 03-03

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/64706

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/math/0208094
 http://arxiv.org/abs/math/0208094

Collections

arXiv