×
伊凡·查伊达;1月Kühr

MV-代数的一个非结合推广。 （英语） Zbl 1150.06012号

数学。斯洛伐克语 57，第4号，301-312（2007）.
MV-代数给出了Łukasiewicz无穷值逻辑的代数语义。类似地，伪MV-代数（或GMV-代数），即MV-代数的非交换推广，是非交换Łukasiewicz逻辑的代数对应物。在这两类代数中，由关系\（\leq\）定义的基本有序集（1）\（x\leqy:Leftrightarrow\negx\oplus y=1\）是格。作者引入了所谓的NMV-代数，它是MV-代数的非结合推广，其中由（1）定义的关系仍然是一个阶（通常不是格）。他们证明了NMV-代数与一类具有对合的有向序集之间存在一对一的对应关系。
审核人：JiříRachůnek（奥洛穆克）

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

MSC公司：

05年6月 MV代数
03G25号 与逻辑相关的其他代数
06年06月06日 部分订单，通用

关键词：

MV-代数;\（\lambda\）-晶格
PDF格式BibTeX公司 XML格式引用
\textit{I.Chajda}和\textit{J.Kühr}，数学。斯洛伐克57，第4号，301-312（2007；Zbl 1150.06012）
全文： 内政部 欧洲DML 链接
OA许可证

参考文献：

[1] ABBOTT J.C.：半布尔代数。Mat.Vesnik 4（1967），177-198·Zbl 0153.02704号
[2] BAHLS R.-COLE J.-GALATOS N.-JIPSEN R.-TSINAKIS C.：取消剩余格。《代数普遍》50（2003），83-106·Zbl 1092.06012号 ·文件编号：10.1007/s00012-003-1822-4
[3] CHAJDA I.-HALAŠR.-KüHR J.：具有分段反调对合的分配格。科学学报。数学。（塞格德）71（2005），19-33·Zbl 1099.06006号
[4] CHAJDA I.-HALAŠR.-KüHR J.：MV-代数的含义。《代数普遍》52（2004），377-382·Zbl 1097.06011号 ·doi:10.1007/s00012-004-1862-4
[5] CHANG C.C.：多值逻辑的代数分析。事务处理。阿默尔。数学。《刑法典》第88卷（1958年），第467-490页·Zbl 0084.00704号 ·doi:10.307/1993227
[6] CHANG C.C.：Lukasiewicz公理完备性的新证明。事务处理。阿默尔。数学。Soc.93（1959），74-80·Zbl 0093.01104号 ·doi:10.2307/1993423
[7] CIGNOLI R.L.O.-D’OTTAVIANO I.M.L.-MUNDICI D.：多值推理的代数基础。Kluwer学院。Dordrecht-Boston-London出版社，2000年·Zbl 0937.06009
[8] GALATOS N.-TSINAKIS C.：广义MV-代数。《代数杂志》283（2005），254-291·Zbl 1063.06008号 ·doi:10.1016/j.jalgebra.2004.07.002
[9] 乔治·C·IORGULESCU A.：伪MV代数。多重-有价值的日志。6 (2001), 95-135. ·Zbl 1014.06008号
[10] JEáEK J.-QUACKENBUSH R.：定向：上向集的代数模型。《代数普遍》27（1990），49-69·Zbl 0699.08002号 ·doi:10.1007/BF01190253
[11] KARáSEK J.：（lambda）-格的旋转。数学。博昂。121 (1996), 293-300. ·Zbl 0879.06001号
[12] 曼加尼，R：Su certe algebre connesse conlogiche a piúvalori.波尔。Unione Mat.意大利语。序列号。四、 8（1973），68-78·Zbl 0274.02007
[13] MUNDICI D.：Lukasiewicz句子演算中的（AF）-代数的解释。J.功能。分析。65 (1986), 15-63. ·兹比尔0597.46059 ·doi:10.1016/0022-1236（86）90015-7
[14] RACHŮNEK J.：MV-代数的非交换推广。捷克斯洛伐克数学。J.52（2002），255-273·Zbl 1012.06012号 ·doi:10.1023/A:1021766309509
[15] SNÁŠEL V.：\（\lambda \）-晶格。博士论文，Masaryk大学，布尔诺，1991年·Zbl 0897.06003号
[16] SNáŠEL V.：（lambda）-晶格。数学。博昂。122 (1997), 267-272. ·Zbl 0897.06003号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。