克莱瑟的“重心转移”及当代证明挖掘（英文）

作者：乌利齐·克伦巴赫

来源：逻辑学研究, 2023, 16(03): 1-35.

当代“证明挖掘”研究的历史根源于格奥尔格·克莱瑟的“挖掘证明”研究纲领。在本文中，我们详细阐述克莱瑟这一想法对应用证明论仍在持续的巨大影响，并且讨论证明挖掘的一些逻辑方面。

• 出版日期2023