Simplifying the axiomatization for ordered affine geometry via a theorem prover

被引：0
|
作者：
Dafa Li
机构：
[1] Tsinghua University,Department of Mathematical Sciences
来源：
Journal of Geometry | 2023年 / 114卷
关键词：
Ordered affine geometry; Axiomatization; Automated theorem proving; Intuitionistic logic;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Jan von Plato proposed in 1998 an intuitionist axiomatization of ordered affine geometry consisting of 22 axioms. It is shown that axiom I.7, which is equivalent to a conjunction of four statements, two of which are redundant, can be replaced with a simpler axiom, which is von Plato’s Theorem 3.10.
引用
收藏
相关论文
共 46 条
12345