×
安纳托利赫·德武雷·恩斯基;奥米德·扎希里

伪等式代数：修订。 （英语） Zbl 1373.06024号

软计算。 2091-2101（2016）第6号第20页.
一类新的代数，称为JK-代数，它更精确地反映了伪BCK-代数与满足的关系J.卡宾斯基和A.弗罗辛斯基[“关于等价代数”，见：1975年印度大学多值逻辑国际研讨会论文集，布鲁明顿，弗吉尼亚州贝尔沃堡：国防技术信息中心，231–243（1975）]。这种代数的同余是通过正规闭演绎系统来刻画的。最后，作者证明了JK-代数的簇是可减的和同余置换的。
审核人：韦斯·aw A.Dudek（Wroc aw）

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

MSC公司：

35楼06号 BCK-代数，BCI-代数
03G25号 与逻辑相关的其他代数
08B05号 等式逻辑，Mal'tsev条件

关键词：

BCK-代数;伪环，伪BCK-代数;演绎系统

软件：

伪环箍
PDF格式BibTeX公司 XML格式引用
\textit{A.Dvurečenskij}和\textit{O.Zahiri}，软计算。20，第6号，2091--2101（2016；Zbl 1373.06024）
全文： 内政部 arXiv公司

参考文献：

[1] Bosbach B（1966年）《哈尔布格鲁彭的实施》。公理与算术。基金数学64:257-277·Zbl 0183.30603号
[2] Bosbach B（1970）《半圆形建筑》。Kongruenzen和Quotienten。基金数学69:1-17·Zbl 0263.20037号
[3] Ciungu L（2014）《关于伪质量阿列布拉斯》。Arch数学日志53:561-570。doi:10.07/s00153-014-0380-0·Zbl 1319.06013号
[4] Di Nola A，Georgescu G，Iorgulescu A（2002a）伪-BL代数I.多值对数8:673-714·兹比尔1028.06007
[5] Di Nola A，Georgescu G，Iorgulescu A（2002b）伪-BL代数II。多值对数8:715-750·Zbl 1028.06008号
[6] Galatos N，Jipsen P，Kowalski T，Ono H（2007）《逻辑与数学基础研究》，第151卷，剩余格：子结构逻辑的代数一瞥，纽约爱思唯尔·Zbl 1171.03001号
[7] Georgescu G，Iorgulescu A（2001a）伪-BCK代数。BCK代数的推广。摘自：《第三届组合数学、可计算性和逻辑国际会议论文集》（DMTCS’01），伦敦，第97-114页·兹伯利0986.06018
[8] Georgescu G，Iorgulescu A（2001b）伪MV代数。多值对数6:95-135·兹比尔1014.06008
[9] Georgescu G，Leuštean L，Preoteasa V（2005）Pseudo-hoops。J多值对数软计算11:153-184·Zbl 1078.06007号
[10] Iorgulescu A（2004）关于伪-BCK代数和porims。科学数学Jpn 10:293-305·Zbl 1066.06018号
[11] Jenei S（2012）等式代数。Stud Logica罗技100:1201-1209·Zbl 1270.03138号 ·doi:10.1007/s11225-012-9457-0
[12] Jenei S，Kóródi L（2013）伪等式代数。Arch数学日志52:469-481·Zbl 1300.06004号 ·doi:10.1007/s00153-013-0325-z
[13] Kabziñski J，Wronski A（1975）关于等价代数。摘自：1975年多值逻辑国际研讨会论文集。布卢明顿印度大学，第231-243页
[14] Kühr J（2007）伪BCK代数及其相关结构。论文，帕拉基大学奥洛穆克分校·Zbl 1140.06008号
[15] 孟J，Jun YB（1994）BCK-代数。Kyung Moon Sa Co.，首尔·Zbl 0906.06015号
[16] Novák V，De Baets B（2009）EQ代数。模糊集系统160:2956-2978·Zbl 1184.03067号 ·doi:10.1016/j.fs.2009.04.010
[17] Rachůnek J（2002）MV-代数的非交换推广。捷克斯洛伐克数学杂志52:255-273·Zbl 1012.06012号 ·doi:10.1023/A:1021766309509
[18] Ursini A（1994）关于减法变体I.代数大学31:204-222·Zbl 0799.08010号 ·doi:10.1007/BF01236518
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。