随机消解的可行析取性
Feasible disjunction for random resolution
- Institute of Mathematics of the Czech Academy of Sciences（捷克科学院数学研究所）
机构由 AI 辅助整理，请以论文原文为准。
AI总结：
本文证明更强的随机消解系统具有可行析取性，这是首个不具备可行插值性却具备该性质的证明系统实例。
AI中文摘要：
我们证明了一个（更强的）随机消解版本具有可行析取性。这是首个已知不具有可行插值性、却仍然具有可行析取性的证明系统的实例。
英文摘要：
We show that a (stronger) version of random resolution has the feasible disjunction property. This is the first instance of a proof system not known to have feasible interpolation, which nevertheless has the feasible disjunction property.
