西蒙·波娃;佛朗哥·蒙塔格纳 多项式空间硬度无析取性质。 (英语) Zbl 1298.68097号 西奥。计算。科学。 467, 1-11 (2013). 本文研究了具有弱排除中间的Heyting代数(即,(lnot\alpha\vee\lnot\lnot\lnot\alpha)和可分交换积分剩余格之间的区间上所有簇的多项式空间硬度(PSPACE-hard)。(H/CIR在本次审查中提到了该间隔。)[R.霍奇克和K.泰瑞,理论。计算。科学。412,第31期,3992–4006(2011年;Zbl 1231.03021号)],证明了如果各种剩余格具有析取性质(DP),那么它有一个PSPACE硬方程理论。(DP的内容如下:如果\(\alpha\vee\beta\)在逻辑上是可证明的,那么\(\阿尔法\)和\(\beta \)中的至少一个在逻辑上也是可证明的。)因此,请注意,H/CIR中包含DP的所有变体都具有PSPACE硬等式理论。在本文中,通过证明H/CIR中的所有变种都具有PSPACE硬方程理论,扩展了这一结果,由此可以得出许多变种的剩余格都缺乏DP并且具有PSPACE-硬方程理论。作者扩展了Statman简化的概念[斯塔特曼,提奥。计算。科学。9, 67–72 (1979;Zbl 0411.03049号)]本质上是“直觉重言式的决策算法可以有效地模拟量化布尔语句的蛮力决策算法”(第6页)。特别是,它们表明Statman的缩减只需要特殊的DP情况(即,它不需要完整的DP)。最后,需要注意的是,作者的约简仅使用格和剩余运算(不使用乘法和求反)。审核人:杰玛·罗伯斯(莱昂) 引用于1文件 MSC公司: 2017年第68季度 问题的计算难度(下限、完备性、近似难度等) 03B70号 计算机科学中的逻辑 03B47型 子结构逻辑(包括相关性、蕴涵、线性逻辑、Lambek演算、BCK和BCI逻辑) 03G25号 与逻辑相关的其他代数 08A70号 泛代数在计算机科学中的应用 关键词:子结构逻辑;计算复杂性 引文:Zbl 1231.03021号;Zbl 0411.03049号 PDF格式BibTeX公司 XML格式引用 \textit{S.Bova}和\textit{F.Montagna},Theor。计算。科学。467,1--11(2013;Zbl 1298.68097) 全文: 内政部