# Identity of Proofs Based on Normalization and Generality

Source: [Identity of Proofs Based on Normalization and Generality](<https://www.sota2.com/research/paper/68fa4cb01e209131ce94e8c8>)

Collection index: [llms.txt](<https://www.sota2.com/research/llms.txt>)

Data updated: 2025-10-25T08:54:17.388Z

Authors: K. Dosen

Published: 2002-08-12T22:29:53.000Z

## Abstract

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.

## Recorded benchmark results

A research result applies to its stated dataset, split, metric and evaluation configuration. Compare like-for-like settings, preserve the metric's unit and direction, and distinguish paper-reported results from independent reproduction. The best result recorded here is not a claim of exhaustive, current global coverage.

## Original sources and implementation

[Original paper](<https://arxiv.org/abs/math/0208094>)

[PDF](<https://arxiv.org/pdf/math/0208094.pdf>)