F立方

fCube:直觉命题逻辑的一种有效证明者。我们提出了一个基于TabLou演算的直觉命题逻辑的定理证明器F立方体。F立方体的主要新颖之处在于它实现了几个优化技术,允许修剪搜索空间,用于证明搜索的不同方面。我们通过比较F立方体和其他定理证明了我们的技术的效率。我们发现,我们的证明优于其他一些公式的有趣的家庭。

本软件关键词

这里的任何东西都将在支持画布元素的浏览器上被替换。