Identity of Proofs Based on Normalization and Generality
Work
Year: 2003
Type: article
Abstract: Some thirty years ago, two proposals were made concerning criteria for identity of proofs. Prawitz proposed to analyze identity of proofs in terms of the equivalence relation based on reduction to no... more
Source: Bulletin of Symbolic Logic
Author Kosta Došen
Cites: 67
Cited by: 62
Related to: 10
FWCI: 2.091
Citation percentile (by year/subfield): 96.58
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: green