埃尔布朗扩展及来自图表的证明提取（英文）

作者：马蒂亚斯·贝兹; 诺伯特·普雷宁^*

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

本文介绍射影几何中的图作为有效的证明工具。尽管图表用于支持对射影几何中证明的理解，它们本身不被视为证明。我们将表明图表可转换为无切割证明，反之亦然。这意味着，图表是种有效且完备的证明工具，然而图表可能比通常的使用切割规则的证明更复杂。作为这些分析的一个有趣结论，我们将证明，图表在逻辑意义上不是构造性的。