×
米查尔·博图尔;拉多米尔·哈拉什;1月Kühr

交换基本代数上的状态。 （英语） 兹比尔1266.03070

模糊集系统。 187，第1期，77-91（2012）.
考虑类型为（（2,1,0）的交换基本代数（（A，\oplus，\neg，0）），使得（A）是一个MV-代数，如果它是结合的。类似地，在MV-代数中，定义了状态（s:a\rightarrow[0，1]\）。证明了可表示的交换基本代数（a）是线性序交换基本代数的次直积，具有忠实状态（s：a\rightarrow[0,1]\）（即s（a）=0\rightarrow a=0），是MV-代数。
审核人：贝洛斯拉夫·里坎（班斯卡·拜斯特里察）

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

MSC公司：

03G25号 与逻辑相关的其他代数
05年6月 MV-代数

关键词：

交换基本代数;MV-代数;可代表性;MV-交易;状态形态;德菲内蒂相干准则
PDF格式BibTeX公司 XML格式引用
\textit{M.Botur}等人，《模糊集系统》。187，编号1，77--91（2012；Zbl 1266.03070）
全文： DOI程序

参考文献：

[1] 布洛克·W。；Pigozzi，D.，代数逻辑，美国数学回忆录。Soc.，396（1989）·兹伯利0664.03042
[2] Botur，M.，交换基本代数的一个例子，它不是MV-代数，数学。斯洛伐克，60，171-178（2010）·Zbl 1240.06042号
[3] M.Botur，交换基本代数，博士论文，帕拉克大学，奥洛穆克，2009年。；M.Botur，交换基本代数，博士论文，帕拉克大学，奥洛穆克，2009年·Zbl 1168.03014号
[4] 肉毒杆菌。；Halaš，R.，有限交换基本代数是MV-代数，J.Mult-有效日志。软计算。，14, 69-80 (2008) ·Zbl 1236.06007号
[5] 肉毒杆菌。；Halaš，R.，交换基本代数和非结合模糊逻辑，Arch。数学。日志。，48, 243-255 (2009) ·Zbl 1168.03014号
[6] S.Burris，H.P.Sankappanavar，《通用代数教程》，千年版，www.math.uwaterloo.ca/snburris/htdocs/UALG/univ-Algebra.pdf（\rangle；）；S.Burris，H.P.Sankappanavar，《通用代数教程》，千年版，www.math.uwaterloo.ca/snburris/htdocs/UALG/univ-Algebra.pdf·Zbl 0478.08001号
[7] 查达，I。；Eigenthaler，G。；Länger，H.，《泛代数中的同余类》（2003），赫尔德曼·弗拉格：赫尔德曼·弗拉格-莱姆戈·Zbl 1014.08001号
[8] 查达，I。；哈拉什，R。；Kühr，J.，多值量子代数，代数Univers。，60, 63-90 (2009) ·Zbl 1219.06013号
[9] 查达，I。；Kolařík，M.，基本代数公理系统的独立性，软计算。，13, 41-43 (2008) ·Zbl 1178.06007号
[10] I.Chajda，J.Kühr，《关于基本代数中的同余和滤子》，提交出版。；I.Chajda，J.Kühr，《关于基本代数中的同余和滤子》，提交出版。
[11] Cignoli，R.L.O。；D’Ottaviano，I.M.L。；Mundici，D.，《多值推理的代数基础》（1999），Kluwer学术出版社：Kluwer-学术出版社波士顿
[12] Ciungu，L.C.公司。；Dvurečenskij，A.，伪-BCK代数上的测度、状态和de-Finetti映射，模糊集系统。，161, 2870-2896 (2010) ·Zbl 1226.06015号
[13] 杜兰特，F。；克莱门特，E.P。；梅西亚尔，R。；Sempi，C.，连词及其剩余含义：特征和构建方法，Mediter。数学杂志。，4, 343-356 (2007) ·Zbl 1139.03014号
[14] Dvurečenskij，A.，伪MV-代数上的状态，Stud.Log。，68, 301-327 (2001) ·Zbl 0999.06011号
[15] Dvurečenskij，A。；普鲁马诺娃，S.，《量子结构的新趋势》（2000年），克鲁沃学术出版社：克鲁沃学术出版商Dordrecht/Ister Science，布拉迪斯拉发·Zbl 0987.81005号
[16] Dvurečenskij，A。；Rachůnek，J.，关于有界非对易（R\ell-\operatorname{monoids}）上的Riečan和Bosbach状态，数学。斯洛伐克，56，125-144（2006）·Zbl 1150.03347号
[17] Dvurečenskij，A。；Rachůnek，J.，有界概率平均（R\ell-\operatorname{monoids}），半群论坛，72191-206（2006）·兹比尔1105.06010
[18] Fodor，J.C。；Keresztfalvi，T.，《模糊逻辑中的非标准连词及其含义》，《国际近似推理》，第12期，第69-84页（1995年）·Zbl 0815.03017号
[19] Georgescu，G.，Bosbach关于模糊结构的陈述，软计算。，8, 217-230 (2004) ·Zbl 1081.06012号
[20] Hájek，P。；梅西亚尔，R.，关于连接函数、拟连接函数和模糊逻辑，软计算。，12, 1239-1243 (2008) ·Zbl 1152.03018号
[21] Knapp，A.W.，《高级真实分析》（2005），Birkhäuser:Birkháuser Boston·兹比尔1095.26002
[22] J.Krňávek，J.Kühr，《基本代数的预备知识》，提交出版。；J.Krňávek，J.Kühr，《基本代数预备》，提交出版。
[23] Kroupa，T.，半单MV-代数上的每个状态都是积分的，模糊集系统。，157, 2771-2787 (2006) ·Zbl 1107.06007号
[24] Lambek，J.，《句子结构的数学》，《美国数学》。周一。，65, 154-170 (1958) ·Zbl 0080.00702号
[25] J.Lambek，《句法类型的微积分》，载：R.V.Jacobson（编辑），《语言的结构及其数学方面》，AMS应用数学研讨会，第12卷，普罗维登斯，1961年，第166-178页。；J.Lambek，《句法类型演算》，R.V.Jacobson（Ed.），语言结构及其数学方面，AMS应用数学研讨会，第12卷，普罗维登斯，1961年，第166-178页·Zbl 0111.16102号
[26] Mertanen，J。；Turunen，E.，半可分广义剩余格上的状态简化为MV-代数上的状态，模糊集系统。，159, 3051-3064 (2008) ·Zbl 1188.06009号
[27] Mundici，D.，《平均Łukasiewicz逻辑中的真值》，Studia Logica，55，113-127（1995）·Zbl 0836.03016号
[28] Mundici，D.，无限值事件的簿记，《国际近似推理》，46，223-240（2006）·Zbl 1123.03011号
[29] Mundici，D。；Kühr，J.，De Finetti定理和[0,1]值代数逻辑中的Borel状态，《国际近似推理》，46，605-616（2007）·Zbl 1189.03076号
[30] Panti，G.，自由MV代数中的不变测度，Commun。《代数》，36，2849-2861（2008）·Zbl 1154.06008号
[31] Riečan，B.，《关于BL-代数上的概率》，《数学学报》。尼特拉，4，3-13（2000）
[32] B.Riečan，D.Mundici，MV-代数上的概率，收录于：E.Pap（编辑），《度量理论手册》，北荷兰人，阿姆斯特丹，2002年，第869-909页。；B.Riečan，D.Mundici，MV-代数上的概率，收录于：E.Pap（Ed.），《度量理论手册》，北荷兰，阿姆斯特丹，2002年，第869-909页·Zbl 1017.28002号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。