×
科内霍，M.尤金尼亚;路易斯·法利尼亚斯·德尔·塞罗;杰苏斯·麦地那

多共轭代数的逻辑特征。 （英语） Zbl 1522.03343号

模糊集系统。 425, 140-156 (2021).
摘要：本文介绍了具有双重贡献的多共轭代数的逻辑特征。一方面，从逻辑的角度研究多共轭代数将使我们能够发现这些代数的核心和新特征。另一方面，多伴随代数的公理化将有助于利用相应演绎系统中考虑的逻辑连接词的特性。执行上述公理化的机制如下所示P·哈耶克【模糊逻辑的元数学。多德雷赫特：克鲁沃学术出版社（1998；Zbl 0937.03030号)]对于剩余格。具体来说，本文介绍了有界偏序集逻辑作为有界偏序集的公理化，因为该代数结构是定义多伴随代数的最简单结构。在下文中，BPL的语言丰富了一个由连词和蕴涵组成的对族，其公理系统被赋予了新的公理，从而产生了多伴随逻辑（ML）。BPL和ML的可靠性和完整性得到了证明。最后，对多伴随逻辑的公理化与BL逻辑的公理化进行了比较。

引用于1文件

MSC公司：

03G25号 与逻辑相关的其他代数
03B60号 其他非经典逻辑
06年06月06日 部分订单，通用

关键词：

有界偏序集;多伴随代数;命题逻辑;模糊逻辑

引文：

Zbl 0937.03030号
PDF格式BibTeX公司 XML格式引用
\textit{M.E.Cornejo}等人，《模糊集系统》。425140-156（2021年；Zbl 1522.03343）
全文： 内政部

参考文献：

[1] Bělohlávek，R.，《模糊关系系统：基础和原理》（2002），Kluwer学术出版社·Zbl 1067.03059号
[2] 布洛克，W.J。；Pigozzi，D.，代数逻辑（1989）·Zbl 0664.03042号
[3] Bonzio，S。；Chajda，I.，剩余关系系统，亚欧数学杂志。，11，02，第1850024条pp.（2018）·Zbl 1403.08001号
[4] 卡布雷拉，I。；科尔德罗，P。；古铁雷斯，G。；马丁内斯，J。；Ojeda-Aciego，M.，《关于多重格中的剩余：滤子、同余和同态》，模糊集系统。，234, 1-21 (2014) ·兹比尔1315.06008
[5] 查达，I。；Länger，H.，《如何在正交模偏序集中引入连词含义》，亚欧数学杂志。，第2150066页（2021）·Zbl 1472.06008号
[6] 查达，I。；Länger，H.，补足偏序集中的剩余算子，亚欧数学杂志。，2006年11月，第1850097条，第（2018）页·兹比尔1491.06005
[7] 查达，I。；Länger，H.，偏序集通过一元运算诱导的左剩余算子，软计算。，23, 11351-11356 (2019) ·Zbl 1446.06005号
[8] 查达，I。；Länger，H.，模格和偏序集中的剩余，亚欧数学杂志。，12，02，第1950092条pp.（2019）·Zbl 1491.06014号
[9] 科内霍，M.E。；麦地那，J。；Ramírez-Poussa，E.，伴随三元组的比较研究，模糊集系统。，211, 1-14 (2013) ·Zbl 1272.03111号
[10] 科内霍，M.E。；麦地那，J。；Ramírez-Poussa，E.，多伴随代数与扩阶代数，应用。数学。信息科学。，9、2L、365-372（2015）
[11] 科内霍，M.E。；麦地那，J。；Ramírez-Poussa，E.，多共轭代数与非交换剩余结构，国际期刊近似推理。，66, 119-138 (2015) ·Zbl 1350.06003号
[12] 科内霍，M.E。；麦地那，J。；Ramírez-Poussa，E。；Rubio-Manzano，C.，《多伴随概念格、偏好和布西序言》（Flores，V.；Gomide，F.；Janusz，A.；Meneses，C.；Miao，D.；Peters，G.；Ślězak，D.；Wang，G.）；Weber，R.；Yao，Y.，Rough Sets（2016），Springer International Publishing:Springer国际出版公司Cham），331-341·Zbl 1398.68511号
[13] 科内利斯，C。；麦地那，J。；Verbest，N.，多伴随模糊粗糙集：定义、性质和属性选择，Int.J.近似原因。，55, 412-426 (2014) ·Zbl 1316.03028号
[14] 达马西奥，哥伦比亚特区。；Pereira，L.M.，单调逻辑程序和剩余逻辑程序（不确定性推理的符号和定量方法，ECSQARU’01）。《不确定性推理的符号和定量方法》，ECSQARU'01，《人工智能课堂讲稿》，第2143卷（2001年），第748-759页·Zbl 1001.68545号
[15] 德赫蒂亚尔，M。；德克蒂亚尔，A。；Subrahmanian，V.，《混合概率程序：算法和复杂性》（1999年人工智能不确定性会议论文集（1999年））
[16] 医学博士Della Stella。；Guido，C.，扩展阶代数和模糊蕴涵，软计算。，16, 11, 1883-1892 (2012) ·Zbl 1288.03042号
[17] 迪亚斯·莫雷诺，J.C。；Medina，J.，《多伴随关系方程：使用概念格的定义、性质和解》，《信息科学》。，253, 100-109 (2013) ·Zbl 1320.68173号
[18] 迪尔沃思，R.P。；Ward，M.，《残余晶格》，Trans。美国数学。《社会学杂志》，45，335-354（1939）
[19] 爱泼斯坦，G。；Horn，A.，以次剩余格为特征的逻辑学，数学。日志。Q.，22，1，199-210（1976）·Zbl 0347.02040号
[20] 埃斯特娃，F。；Godo，L.，基于单体t-范数的逻辑：走向左旋t-范本的逻辑，模糊集系统。，124, 271-288 (2001) ·Zbl 0994.03017号
[21] 埃斯特娃，F。；戈多，L。；诺格拉，C.，《模糊真理模糊限制语的逻辑方法》，《信息科学》。，232, 366-385 (2013) ·Zbl 1293.03014号
[22] 戈多，L。；Sócola-Ramos，M。；Esteva，F.，《关于左控t-规范和右控t-范式的逻辑》，（基于知识的系统中不确定性的信息处理和管理：第18届国际会议，IPMU 2020，会议记录，第三部分）。基于知识的系统中不确定性的信息处理和管理：第18届国际会议，IPMU 2020，会议记录，第三部分，葡萄牙里斯本，2020年6月15-19日。基于知识的系统中不确定性的信息处理和管理：第18届国际会议，IPMU 2020，会议记录，第三部分。基于知识的系统中不确定性的信息处理和管理：第18届国际会议，IPMU 2020，会议记录，第三部分，葡萄牙里斯本，2020年6月15日至19日，《计算机与信息科学通信》，第1239卷（2020年），654-665·Zbl 1512.03047号
[23] Hájek，P.，《模糊逻辑的元数学》，《逻辑趋势》（1998年），Kluwer学术出版社·Zbl 0937.03030号
[24] Hájek，P.，《非常真实的模糊逻辑》。模糊逻辑，模糊集系统。，124,3329-333（2001年）·兹比尔0997.03028
[25] 朱利安，P。；莫雷诺，G。；Penabad，J.，《关于模糊展开：多伴随方法》，模糊集系统。，154, 1, 16-33 (2005) ·Zbl 1099.68017号
[26] 克莱门特，E。；梅西亚尔，R。；Pap，E.，三角规范（2000），Kluwer学术·Zbl 0972.0302号
[27] Lakshmanan，L.V.S。；Sadri，F.，《概率演绎数据库理论》，理论实践。日志。程序。，1, 1, 5-42 (2001)
[28] Medina，J.，《刻画有界格上t-范数的序数和是t-范时的特征》，模糊集系统。，202, 75-88 (2012) ·Zbl 1272.03112号
[29] Medina，J.，面向属性和面向对象的概念格，信息科学。，190, 95-106 (2012) ·Zbl 1248.68479号
[30] 麦地那，J。；Ojeda-Aciego，M。；Pócs，J。；Ramírez-Poussa，E.，《基于多重格的Dedekind-MacNeille补全和形式概念分析》，模糊集系统。，303, 1-20 (2016) ·Zbl 1386.06003号
[31] 麦地那，J。；Ojeda-Aciego，M。；Ruiz-Calviño，J.，通过多伴随概念格进行形式概念分析，模糊集系统。，160, 2, 130-144 (2009) ·Zbl 1187.68589号
[32] 麦地那，J。；Ojeda Aciego，M。；Valverde，A。；Vojtáš，P.，走向双冗余多伴随逻辑编程，Lect。Notes工件。智力。，3040, 608-617 (2004)
[33] 麦地那，J。；Ojeda-Aciego，M。；Vojtáš，P.，具有连续语义的多伴随逻辑编程，（逻辑编程和非单调推理，LPNMR’01）。逻辑编程与非单调推理，LPNMR'01，《人工智能讲义》，第2173卷（2001），351-364·兹比尔1007.68023
[34] 麦地那，J。；Ojeda-Aciego，M。；Vojtáš，P.，基于相似性的统一：多伴随方法，模糊集系统。，146, 43-62 (2004) ·Zbl 1073.68026号
[35] Mendelson，E.，《数学逻辑导论》（2015），Chapman&Hall/CRC·Zbl 1314.03001号
[36] 莫西，N.N.，伴随下的命题演算，模糊集系统。，132, 1, 91-106 (2002) ·Zbl 1029.03012号
[37] Vychodil，V.，Truth-depresting hedges and bl-logic，模糊集系统。，157, 15, 2074-2090 (2006) ·Zbl 1114.03023号
[38] Zadeh，L.A.，模糊集，信息控制，8，338-353（1965）·Zbl 0139.24606号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。