基于规范化和一般性的证明的同一性
Identity of Proofs Based on Normalization and Generality
摘要：
一般来说，证明论有两种方法来解决证明的同一性标准问题。第一种方法，它源于Prawitz，Kreisel和Lambek，是基于规范化的证明，给出了良好的结果，在直觉，但不是在经典逻辑。第二种方法源于Lambek、Mac Lane和Kelly，受到证明的普遍性的启发，在经典逻辑中似乎更有希望。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
