基于证明搜索的推理系统：扩展摘要
计算机科学中的逻辑
2023-07-25 v1
摘要
根岑（Gentzen）设计其自然演绎证明系统以“尽可能接近实际推理”。的确，自然演绎证明与数学论证中逻辑推理的静态结构十分相似。然而，若欲支持证明搜索过程，则需捕捉推理的不同特征。PSF（证明搜索框架，Proof Search Framework）试图自然且直接地捕捉这些特征。本文给出了PSF的设计与元理论，并展示了其规范经典逻辑、直觉主义逻辑与线性逻辑等一系列证明系统的能力。
引用
@article{arxiv.2307.12704,
title = {A system of inference based on proof search: an extended abstract},
author = {Dale Miller},
journal= {arXiv preprint arXiv:2307.12704},
year = {2023}
}