BriefGPT.xyz
Sep, 2022
生成压缩组合证明结构——一种自动一阶定理证明方法
Generating Compressed Combinatory Proof Structures -- An Approach to Automated First-Order Theorem Proving
HTML
PDF
Christoph Wernhard
TL;DR
本文介绍了一种将组合子术语表示为证明树的方法，并引入了基于参数化组合子术语定义的证明模式，实现了基于连接结构演算的特征的自动化一阶证明的实现和第一批实验结果。
Abstract
Representing a
proof tree
by a
combinator term
that reduces to the tree lets subtle forms of duplication within the tree materialize as duplicated subterms of the
→