×
尼古拉斯·加拉托斯;君士坦丁·齐纳基斯

广义MV-代数。 （英语） Zbl 1063.06008号

J.代数 283，第1期，254-291（2005）.
作者将广义MV-代数（简称GMV-代数）定义为满足恒等式\（x/（（x\vee-y）\set-bus-x）=x\vee y=（x/。剩余晶格上的闭包算符（gamma），使得所有（A，b\ in L\）的（gamma-（A）；（\gamma）的图像（L_\gamma\）具有剩余的晶格结构（\mathbf L_\gamma=（L，\wedge，\vee\gamma，\circ_\gama，\set减号，/，\gamma（e）），其中\（\gama（a）\vee_\gamma\gamma_（b）=\gamma-（a\vee b）\）和\（\gamma（a）\ circ_\ gamma\gamma_（b）=\gamma-（ab）。
本文的基本结果是以下定理：剩余格（mathbf M）是GMV-代数当且仅当存在剩余格（mathbf G，mathbf L），使得（mathbfG）是一个（ell）-群和\（\mathbf M=\mathbf G\oplus\mathbf L_\gamma\）（其中\（\oplus\）表示直接和的运算）。因此，作者获得了一个范畴等价，它推广了Mundici和Dvurečenskij关于函子\（\Gamma\）的结果。此外，他们证明了GMV-代数簇的方程理论是可判定的。
审核人：Jan Jakubík（科希策）

引用于6评论
引用于81文件

MSC公司：

05年6月 MV-代数
2015年1月6日 有序的组
03B25号 理论和句子集的可决定性

关键词：

剩余格;MV-代数;格序群;核;范畴等价
PDF格式BibTeX公司 XML格式引用
\textit{N.Galatos}和\textit{C.Tsinakis}，J.代数283，第1期，254--291（2005；Zbl 1063.06008）
全文： 内政部

参考文献：

[1] 安德森，M。；Feil，T.，《格序群：导论》（1988），Reidel Publishing Company·Zbl 0636.06008号
[2] Bahls，P。；科尔，J。；北卡罗来纳州加拉托斯。；吉普森，P。；Tsinakis，C.，抵消剩余格，代数普遍性，50,183-106（2003）·Zbl 1092.06012号
[3] A.Bigard。；凯梅尔，K。；Wolfenstein，S.，Anneaux RéticuléS的群，数学课堂笔记。，第608卷（1977年），《施普林格-弗拉格：柏林施普林格》·Zbl 0384.06022号
[4] 布朗特，K。；Tsinakis，C.，《剩余晶格的结构》，国际出版社。代数计算杂志。，13, 4, 437-461 (2003) ·Zbl 1048.06010号
[5] Bosbach，B.，剩余群，结果。数学。，5, 107-122 (1982) ·Zbl 0513.06007号
[6] Bosbach，B.，关于锥代数，代数Universalis，15，58-66（1982）·兹比尔0507.06013
[7] Chang，C.C.，多值逻辑的代数分析，Trans。阿默尔。数学。Soc.，88，467-490（1958年）·Zbl 0084.00704号
[8] Cignoli，R。；I·D’Ottaviano。；Mundici，D.，《多值推理的代数基础》，Logic-Studia Logica Library趋势，第7卷（2000年），Kluwer学术出版社：Kluwer-学术出版社Dordrecht·Zbl 0937.06009
[9] 科尔，J.，非分布可消去剩余格，（马丁内兹，J.《有序代数结构》（2002），克鲁沃学术出版社：克鲁沃学术出版商多德雷赫特），205-212·Zbl 1073.06006号
[10] Dvurečenskij，A.，伪MV-代数是（l）-群中的区间，J.Aust。数学。《社会学杂志》，72，3427-445（2002）·Zbl 1027.06014号
[11] Fuchs，L.，部分序代数系统（1963），佩加蒙出版社：牛津佩加蒙出版公司·Zbl 0137.02001号
[12] Galatos，N.，分配剩余格的词问题的不可判定性，（Martinez，J.，有序代数结构（2002），Kluwer学术出版社：Kluwer-学术出版社Dordrecht），231-243·Zbl 1073.06007号
[13] N.Galatos，剩余格的极小变种，代数普遍性，出版中；N.Galatos，剩余格的极小变种，代数普遍性，出版中·Zbl 1082.06011号
[14] Galatos，N.，剩余晶格品种连接的等式基，Studia Logica，76，2，227-240（2004）·Zbl 1068.06007号
[15] 乔治斯库，G。；Iorgulescu，A.，《伪MV代数：MV代数的非交换扩展》，（信息技术，信息技术，布加勒斯特，1999（1999），Inforec:Inforec布加勒st），961-968·Zbl 0985.06007号
[16] 乔治斯库，G。；Iorgulescu，A.，伪MV代数，G.C.Moisil纪念期刊。G.C.Moisil纪念币-有价值的日志。，6, 1-2, 95-135 (2001) ·Zbl 1014.06008号
[17] Hájek，P.，《模糊逻辑的元数学》，Logic-Studia Logica Library趋势，第4卷（1998年），Kluwer学术出版社：Kluwer-学术出版社Dordrecht·Zbl 0937.03030号
[18] Hart，J。；拉夫特，L。；Tsinakis，C.，交换剩余格的结构，国际。代数计算杂志。，12, 4, 509-524 (2002) ·Zbl 1011.06006号
[19] 荷兰，W.C。；McCleary，S.H.，自由格有序群中单词问题的可解性，休斯顿数学杂志。，5, 1, 99-105 (1979) ·Zbl 0387.06011号
[20] 吉普森，P。；Tsinakis，C.，《剩余格的调查》（Martinez，J.，有序代数结构（2002），Kluwer学术出版社：Kluwer-学术出版社Dordrecht），19-56·Zbl 1070.06005号
[21] Jónsson，B.，同余格是分配的代数，数学。扫描。，21, 110-121 (1967) ·Zbl 0167.28401号
[22] Jónsson，B。；Tsinakis，C.，剩余结构类别的产品，Studia Logica，77，2，267-292（2004）·Zbl 1072.06003号
[23] Mac Lane，S.，工作数学家分类，Grad。数学课文。（1997），施普林格·Zbl 0906.18001号
[24] Mundici，D.，《ukasiewicz句子演算中AF C*-代数的解释》，J.Funct。分析。，65, 1, 15-63 (1986) ·Zbl 0597.46059号
[25] 罗森塔尔，K.I.，量子数及其应用，皮特曼研究笔记数学。序列号。（1990），朗曼·Zbl 0703.06007号
[26] 施密特，J。；Tsinakis，C.，《相对伪补足、联合延伸和会议撤回》，数学。Z.，157，271-284（1977）·Zbl 0351.06010号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。