关于深度推理的证明复杂度
计算复杂性
2009-04-19 v3 计算机科学中的逻辑
逻辑
摘要
我们获得了关于深度推理证明复杂度的两个结果：1) 即使两者都扩展了 Tseitin 扩展规则或代入规则，深度推理证明系统也与 Frege 系统具有同等威力；2) 存在一些分析型深度推理证明系统，它们相对于其所多项式模拟的分析型 Gentzen 证明系统表现出指数级的加速。
引用
@article{arxiv.0709.1201,
title = {On the Proof Complexity of Deep Inference},
author = {Paola Bruscoli and Alessio Guglielmi},
journal= {arXiv preprint arXiv:0709.1201},
year = {2009}
}
评论
Minor improvements over the published version. Always updated version at <http://cs.bath.ac.uk/ag/p/PrComplDI.pdf>