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

摘要：

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

机标关键词：射影几何、逻辑意义、可转换、切割规则、构造性

所属期刊栏目：16

分类号：TP391.41;O185.1;H315.9

在线出版日期：2023-10-10（万方平台首次上网日期，不代表论文的发表时间）

页数：共36页

页码：53-88