×
西蒙·波娃；佛朗哥·蒙塔格纳

交换GBL-代数逻辑中的结果关系是PSPACE-完备的。 （英语） Zbl 1159.03045号

西奥。计算。科学。 410，编号12-13，1143-1158（2009）.
摘要：交换的、积分的和有界的GBL-代数构成了剩余格的一个子簇，它提供了直觉逻辑和几个模糊逻辑的一个有趣的公共片段的代数语义。
众所周知，交换GBL-代数的方程理论和拟方程理论都是可判定的（与非交换情况相比），但它们的复杂性尚未研究。在本文中，我们证明了这两个理论都在PSPACE中，并且准方程理论是PSPACE难的。

引用于1审查
引用于7文件

MSC公司：

03G25号 与逻辑相关的其他代数
03B52号 模糊逻辑；模糊逻辑
2015年3月1日 计算复杂性（包括隐式计算复杂性）
05年6月 有序半群和幺半群
2017年第68季度 问题的计算难度（下限、完备性、近似难度等）

关键词：

剩余格；交换GBL代数；子结构逻辑；计算复杂性；直觉逻辑；模糊逻辑
PDF格式BibTeX公司 XML格式引用
\textit{S.Bova}和\textit{F.Montagna}，Theor。计算。科学。410，编号12--131143--1158（2009；Zbl 1159.03045）
全文： 内政部

参考文献：

[1] 阿古佐利，S。；Gerla，B。；Haniková，Z.，《基本逻辑中的复杂性问题》，软计算，9，12，919-934（2005）·Zbl 1093.03010号
[2] 布洛克，W.J。；费雷里姆，I.M.A.，《关于篮球的结构》，《普遍代数》，第43期，第233-257页（2000年）·Zbl 1012.06016号
[3] Baaz，M。；Hájek，P。；蒙塔格纳，F。；Veith，H.，《（t）重言式的复杂性》，《纯粹和应用逻辑年鉴》，113，1-3，3-11（2001）·Zbl 1006.03022号
[4] 布洛克，W.J。；Pigozzi，D.，（代数逻辑。代数逻辑，美国数学学会回忆录，第77卷（1989））·Zbl 0664.03042号
[5] Cignoli，R.L.O。；D’Ottaviano，I.M.L。；Mundici，D.，《多值推理的代数基础》（1999），Kluwer:Kluwer-Dordrecht
[6] Cignoli，R。；埃斯特娃，F。；戈多，L。；Torrens，A.，《基本模糊逻辑是连续范数及其残差的逻辑》，《软计算》，4，2，106-112（2000）
[7] 托马斯·科尔曼（Thomas H.Cormen）。；查尔斯·雷瑟森（Charles E.Leiserson）。；里维斯，罗纳德·L·。；Stein，Clifford，《算法导论》（2001），麻省理工学院出版社：马萨诸塞州剑桥·兹比尔1047.68161
[8] Ewald，G.，组合凸性与代数几何（1996），Springer-Verlag:Springer-Verlag纽约·兹比尔0869.52001
[9] 北卡罗来纳州加拉托斯。；吉普森，P。；科瓦尔斯基，T。；Ono，H.，《剩余格：亚结构逻辑的代数一瞥》（2007），Elsevier·Zbl 1171.03001号
[10] 北卡罗来纳州加拉托斯。；Tsinakis，C.，广义（MV）代数，代数杂志，283254-291（2005）·Zbl 1063.06008号
[11] Hájek，P.，《模糊逻辑的元数学》（1998），Kluwer:Kluwer-Dordrecht·Zbl 0937.03030号
[12] P.Jipsen，F.Montagna，正规的Blok-Ferreirim定理（G B L\）；P.Jipsen，F.Montagna，正规的Blok-Ferreirim定理（G B L）·Zbl 1192.06011号
[13] 吉普森，P。；Montagna，F.，关于广义（BL）-代数的结构，代数普遍性，55226-237（2006）·Zbl 1109.06011号
[14] P.Jipsen，F.Montagna，正规的嵌入定理（G B L）；P.Jipsen，F.Montagna，正规的嵌入定理（G B L）·Zbl 1192.06012号
[15] McNaughton，R.，关于无限值句子逻辑的一个定理，符号逻辑杂志，16，1-13（1951）·Zbl 0043.00901号
[16] McKenzie，R.N。；McNulty，G.F。；泰勒，W.F.，《代数、格、簇》。第一卷（1981），沃兹沃思和布鲁克斯/科尔：沃兹沃斯和布鲁克斯/Cole Monterey
[17] F.Montagna，C.Tsinakis，带模态的有序群，《纯粹与应用代数杂志》（出版）；F.Montagna，C.Tsinakis，带模态的有序群，《纯粹与应用代数杂志》（出版）·Zbl 1121.06304号
[18] Mundici，D.，多值句子逻辑中的可满足性是NP-完全的，理论计算机科学，52145-153（1987）·Zbl 0639.03042号
[19] Papadimitriou，C.H.，《计算复杂性》（1994），Addison-Wesley·Zbl 0557.68033号
[20] Rasiowa，H.，《非经典逻辑的代数方法》（1974），北荷兰：北荷兰阿姆斯特丹·Zbl 0299.02069号
[21] Statman，R.，直觉命题逻辑是多项式空间完备的，《理论计算机科学》，第967-72页（1979）·Zbl 0411.03049号
[22] 魏斯芬宁，V.，阿贝尔（l）群单词问题的复杂性，理论计算机科学，48，3，127-132（1986）·Zbl 0633.03036号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。