Identity of Proofs Based on Normalization and Generality

Details Identity of Proofs Based on Normalization and Generality Identity of Proofs Based on Normalization and Generality

2002-08-12

arxiv.org/abs/math/0208094v12

Mathematics

Logic

29 pages, corrected remark about difunctionality, updated references

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Identity of Proofs Based on Normalization and Generality does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Identity of Proofs Based on Normalization and Generality, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Identity of Proofs Based on Normalization and Generality will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-579976