基于证明搜索的推理系统：扩展摘要
摘要：Gentzen设计了他的自然推理证明系统，以“尽可能接近实际推理”。实际上，自然推理证明与数学论证中的逻辑推理的静态结构非常相似。然而，当人们希望支持寻找证明过程时，有一些不同特征的推理是有说服力的。PSF（Proof Search Framework）试图自然而直接地捕捉这些特征。介绍了PSF的设计和元理论，并展示了它能够指定一系列经典、直觉和线性逻辑证明系统的能力。
作者：Dale Miller (PARTOUT, OptimiX)
论文ID：2307.12704
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-07-25