×
伊凡·查伊达;拉多米尔·哈拉什;赫尔穆特·Länger

从非结合MV-代数导出的运算和结构。 （英语） Zbl 1418.06007号

软计算。 23，第12号，3935-3944（2019）.
摘要：第一作者和J.Kühr[Math.Slovaca 57，No.4，301–312（2007；Zbl 1150.06012号)]为了为排除二进制运算的关联性的专家系统中使用的某些逻辑提供适当的工具，请参见，例如[M.肉毒杆菌和R.哈拉什[《数学与逻辑建筑学》48，第3-4期，243-255（2009；Zbl 1168.03014号)]. 由于蕴涵在几乎所有命题逻辑中都是一个重要的逻辑连接词，我们研究了非关联MV-代数的蕴涵约简。我们还根据潜在的偏序集来确定它们的结构。解决了具有最大元素的偏序集与分段开关对合可组织为蕴涵NMV-代数的自然问题。此外，研究了分别具有、不具有零的蕴涵NMV-代数簇的同余性质。与经典命题逻辑类似，我们引入了一种Sheffer运算，得到了NMV-代数与某些由Sheffer-like运算和一元运算构成的代数之间的一一对应关系。

引用于4文件

MSC公司：

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

关键词：

MV-代数;非结合MV-代数;含义;同余条件;Sheffer操作

引文：

Zbl 1150.06012号;Zbl 1168.03014号
PDF格式BibTeX公司 XML格式引用
\textit{I.Chajda}等人，《软计算》。23，编号123935-3944（2019；兹bl 1418.06007）
全文： 内政部
OA许可证

参考文献：

[1] Abbott JC（1967）半布尔代数。马特·维森4:177-198·Zbl 0153.02704号
[2] Abbott JC（1976）正交蕴涵代数。双头螺栓日志35:173-177·Zbl 0331.02036号 ·doi:10.1007/BF02120879
[3] Botur M，HalašR（2009）交换基本代数和非结合模糊逻辑。Arch数学日志48:243-255·Zbl 1168.03014号 ·doi:10.1007/s00153-009-0125-7
[4] Chajda I（2005）《正交晶格中的Sheffer操作》。帕拉克·奥洛穆克大学学报自然数学44:19-23·Zbl 1091.06007号
[5] Chajda I，Kühr J（2007）MV-代数的非结合推广。数学斯洛文尼亚语57:301-312·Zbl 1150.06012号
[6] Chajda I，Länger H（2011）导演。有序集的代数方法。赫尔德曼，莱姆戈·Zbl 1254.06002号
[7] Chajda I，Länger H（2017）非结合MV-代数的性质。数学斯洛文尼亚语67:1095-1104·兹比尔1505.06016
[8] Chajda I，HalašR，Länger H（2001）正交模蕴涵代数。实习生J Theor Phys 40:1875-1884·Zbl 0992.06008号 ·doi:10.1023/A:1011933018776
[9] Chajda I，HalašR，Kühr J（2004年a）MV-阿贝巴的含义。代数普遍52:377-382·Zbl 1097.06011号 ·doi:10.1007/s00012-004-1862-4
[10] Chajda I，HalašR，Länger H（2004b）正交模蕴涵代数的简单公理。实习生J Theor Phys 43:911-914·Zbl 1064.06003号 ·doi:10.1023/B:IJTP.000048587.50827.93
[11] Chajda I，HalašR，Länger H（2008）正交模蕴涵代数的同余核。离散数学308:4724-4733·Zbl 1146.06005号 ·doi:10.1016/j.disc.2007.08.101
[12] Chajda I，Eigenthaler G，Länger H（2012）《泛代数中的同余类》。莱姆戈·赫尔德曼·Zbl 1014.08001号
[13] Chang CC（1958）多值逻辑的代数分析。泛美数学Soc 88:467-490·Zbl 0084.00704号 ·doi:10.1090/S0002-9947-1958-0094302-9
[14] Cignoli RLO，D’Ottaviano IML，Mundici D（2000）多值推理的代数基础。多德雷赫特·克鲁沃·Zbl 0937.06009 ·doi:10.1007/978-94-015-9480-6
[15] HalašR，Plojhar L（2008）弱MV-代数。数学斯洛文尼亚58:253-262·Zbl 1174.06009号
[16] Jeáek J，Quackenbush R（1990）《定向体：上向集的代数模型》。普遍代数27:49-69·Zbl 0699.08002号 ·doi:10.1007/BF01190253
[17] Oner T，Senturk I（2017）基本代数的Sheffer笔划操作约简。开放数学15:926-935·兹比尔1373.06008 ·doi:10.1515/小时-2017-0075
[18] Sheffer HM（1913）布尔代数的一组五个独立假设，应用于逻辑常数。泛美数学Soc 14:481-488·doi:10.1090/S002-9947-1913-1500960-1
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。