×
博尔祖艾，R.A。;Dvurečenskij，A。;O.扎希里。

状态BCK-代数和状态态BCK-阿尔及利亚。 （英语） 兹比尔1315.06021

模糊集系统。 244, 86-105 (2014).
摘要：我们定义了状态BCK-代数和状态形态BCK-代数学的概念，通过添加一个一元算子来模拟概率推理，从而扩展了BCK-代的语言。我们分别给出了BCK-代数上的状态算子和状态形态算子以及测度和状态之间的关系。我们研究次直不可约状态（态射）BCK-代数。我们在BCK-代数中引入了伴随对的概念，并证明了伴随对与状态构算子之间存在一对一的对应关系。此外，我们还证明了状态态BCK-代数的拟簇的生成元。

引用于23文件

MSC公司：

35楼06号 BCK-代数，BCI-代数
03G25号 与逻辑相关的其他代数

关键词：

状态形态运算符;左状态运算符;右状态运算符;状态BCK-代数;状态态BCK-代数;准变种;发电机
PDF格式BibTeX公司 XML格式引用
\textit{R.A.Borzooei}等人，模糊集系统。24486--105（2014；Zbl 1315.06021）
全文： DOI程序 arXiv公司

参考文献：

[1] Aguiar，M。；Moreira，W.，自由Baxter代数的组合数学，电子。J.库姆。，13，R17（2006），38页·Zbl 1085.05006号
[2] 博尔祖艾，R.A。；Zahiri，O.，脑机接口代数和BCK代数中的素理想，安克雷奥瓦大学，32299-309（2012）
[3] 肉毒杆菌。；Dvurečenskij，A.，状态-形态代数-一般方法，模糊集系统。，218, 90-102 (2013) ·Zbl 1314.06013号
[4] Burris，S。；Sankappanavar，H.P.，《通用代数课程》（1981），Springer-Verlag:Springer-Verlag纽约·Zbl 0478.08001号
[5] Chang，C.C.，多值逻辑的代数分析，Trans。美国数学。Soc.，88467-490（1958年）·Zbl 0084.00704号
[6] Ciungu，L.C.公司。；Dvurečenskij，A.，伪-BCK代数上的测度、状态和de-Finetti映射，模糊集系统。，161, 2870-2896 (2010) ·Zbl 1226.06015号
[7] Di Nola，A。；Dvurečenskij，A.，状态形态MV-代数，Ann.Pure Appl。日志。，161, 161-173 (2009) ·Zbl 1186.06007号
[8] Di Nola，A。；Dvurečenskij，A.，关于一些状态形态MV-代数类，数学。斯洛伐克，59，517-534（2009）·Zbl 1212.06028号
[9] Di Nola，A。；Dvurečenskij，A。；Lettieri，A.，《关于具有内部状态的MV-代数的变种》，《国际期刊近似推理》。，51, 680-694 (2010) ·Zbl 1213.06006号
[10] Di Nola，A。；Dvurečenskij，A。；Lettieri，A.，勘误表“状态态射MV代数”[Ann.Pure Appl.Logic 161（2009）161-173]，Ann.Pure Appl。日志。，161, 1605-1607 (2010) ·Zbl 1221.06013号
[11] Dvurečenskij，A.，BCK-代数上的测度和状态，Atti Semin。材料Fis。摩德纳大学，47，511-528（1999）·Zbl 0944.06012号
[12] Dvurečenskij，A。；科瓦尔斯基，T。；Montagna，F.，状态态射MV-代数，国际期刊近似推理。，52, 1215-1228 (2011) ·Zbl 1251.06001号
[13] Dvurečenskij，A。；Rachůnek，J。；Šalounová，D.，模糊结构推广的状态算子，模糊集系统。，187, 58-76 (2012) ·Zbl 1266.03071号
[14] 弗拉米尼奥，T。；Montagna，F.，MV-代数上状态的代数方法，（Štěpnička，M.；Novák，V.；Bodenhofer，U.，《EUSFLAT07会议录》，第2卷（2007）），201-206
[15] 弗拉米尼奥，T。；Montagna，F.，具有内部状态和概率模糊逻辑的MV-代数，国际期刊近似推理。，50, 138-152 (2009) ·Zbl 1185.06007号
[16] Gooderl，K.R.，部分有序阿贝尔群与插值，数学。Surv公司。单声道。，第20卷（1986年），美国。数学。Soc.：美国。数学。佛罗里达州普罗维登斯Soc.Providence·Zbl 0589.06008号
[17] Hájek，P.，《模糊逻辑的元数学》（1998），Kluwer学术出版社：Kluwer-学术出版社Dordrecht·Zbl 0937.03030号
[18] 伊迈，Y。；Iseki，K.，《命题演算公理系统》，XIV，Proc。日本。学院。，42, 19-22 (1966) ·Zbl 0156.24812号
[19] Iseki，K.，《与命题演算相关的代数》，Proc。日本。学院。，42, 26-29 (1966) ·Zbl 0207.29304号
[20] Kroupa，T.，半单MV-代数上的每个状态都是积分的，模糊集系统。，157, 2771-2782 (2006) ·Zbl 1107.06007号
[21] Kühr，J。；Mundici，D.，《（[0,1]\）值代数逻辑中的De Finetti定理和Borel状态》，国际期刊近似推理。，46, 605-616 (2007) ·Zbl 1189.03076号
[22] 孟，J。；Jun，Y.B.，BCK-代数（1994），Kyung Moon Sa公司·Zbl 0906.06015号
[23] Mundici，D.，MV-代数与有界交换BCK-代数，Math完全等价。日本。，31, 889-894 (1986) ·Zbl 0633.03066号
[24] Mundici，D.，平均Łukasiewicz逻辑中的真值，Stud.Log。，55, 113-127 (1995) ·Zbl 0836.03016号
[25] Mundici，D.，张量积和MV-代数的Loomis-Sikorski定理，高级应用。数学。，22, 227-248 (1999) ·Zbl 0926.06004号
[26] Panti，G.，自由MV代数中的不变测度，Commun。《代数》，36，2849-2861（2008）·Zbl 1154.06008号
[27] Schnürer，O.M.，同伦范畴与幂等完备，权结构与权复函子
[28] Vickers，S.，《稳定局部紧凑区域的嵌入系统》，Theor。计算。科学。，316, 259-296 (2004) ·Zbl 1047.06007号
[29] Yisheng，H.，BCI-代数（2006），科学出版社：科学出版社
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。