×
曼努埃拉·布萨尼切;科德罗、佩内洛普;里卡多·奥斯卡·罗德里格斯

伪单BL-代数：可能BL-逻辑的代数方法。 （英语） Zbl 1418.06006号

软计算。 23，第7号，2199-2212（2019）.
摘要：模糊可能性逻辑是近似推理的一种重要形式主义。它扩展了Hájek引入的著名基本命题逻辑BL，提供了对模糊命题的可能性和必要性进行推理的能力。我们考虑用代数方法来研究这个逻辑，引入伪单BL-代数。这些代数是由北贝扎尼什维利【《数学日志》第48卷第4期，第624-636页（2002年；Zbl 1016.03067号)]以及由提出的串行、欧几里德和传递双模哥德尔代数十、凯塞多最后一位作者[J.Log.Compute.25，No.1，37-55（2015；Zbl 1371.03035号)]. 我们提出了这类代数与可能BL-框架之间的联系，作为解决以下提出的开放问题的第一步P.Hájek先生[模糊逻辑的元数学。多德雷赫特：Kluwer学术出版社（1998；Zbl 0937.03030号)，第8章，第3节]。

引用于2文件

MSC公司：

05年6月 MV-代数
03B52号 模糊逻辑；模糊逻辑
03B45号 模态逻辑（包括规范逻辑）
03G25号 与逻辑相关的其他代数

关键词：

模态代数;模糊可能性逻辑;BL-代数

引文：

Zbl 1016.03067号;Zbl 1371.03035号;Zbl 0937.03030号
PDF格式BibTeX公司 XML格式引用
\textit{M.Busaniche}等人，《软计算》。23，第7号，2199-2212（2019；Zbl 1418.06006）
全文： 内政部

参考文献：

[1] Bezhanishvili N（2002）伪一元代数作为Doxastic模态逻辑的代数模型。数学日志Q 48:624-636·Zbl 1016.03067号 ·doi:10.1002/1521-3870（200211）48:4<624:：AID-MALQ624>3.0.CO；2-3
[2] Bou F，Esteva F，Godo L，Rodriguez R（2011）关于有限剩余格上的最小多值模态逻辑。J测井计算21:739-790·Zbl 1252.03040号 ·doi:10.1093/log.com/exp062
[3] Bou F，Esteva F，Godo L，Rodriguez R（2016）哥德尔模糊逻辑的模态\[KD45\]KD45扩展的可能性语义。2016年6月20日至24日，荷兰埃因霍温，IPMU 2016，会议记录，第二部分。计算机和信息科学通信611，Springer·Zbl 1455.03027号
[4] Busaniche，M。；Montagna，F.，Hájek的逻辑BL和BL-代数，第1期，355-447（2011），伦敦·Zbl 1284.03176号
[5] Caicedo X，Rodriguez R（2015）[0,1]-值Kripke帧上的双模哥德尔逻辑。J对数计算25:37-55·Zbl 1371.03035号 ·doi:10.1093/log.com/exs036
[6] Castaño D，Cimadamore C，Díaz Varela P，Rueda L（2017）《单子BL-代数：哈耶克单子模糊逻辑的等价代数语义》。模糊集系统320:40-59·Zbl 1387.03074号 ·doi:10.1016/j.fss.2016.12.007
[7] Cignoli R，Torrens A（2000）乘积逻辑的代数分析。多值对数5:45-65·Zbl 0962.03059号
[8] Cignoli R，D‘Ottaviano I，Mundici D（2000）多值推理的代数基础，第7卷。Kluwer学术出版社，Dordrecht Trends in Logic·兹比尔0937.06009
[9] Dubois D，Prade H（2004）可能性逻辑：回顾性和前瞻性观点。模糊集系统144:3-23·Zbl 1076.68084号 ·doi:10.1016/j.fss.2003.10.011
[10] Dubois，D。；兰德，J。；普拉德，H。；Gabbay（编辑）；等。，可能性逻辑，第3期，439-513（1994），牛津
[11] Fitting M（1991）多值模态逻辑。Fundam通知15:254-325·Zbl 0745.03018号
[12] Fitting M（1992）多值模态逻辑II。Fundam通知17:55-73·Zbl 0772.03006号
[13] Galatos N，Jipsen P，Kowalski T，Ono H（2007）《剩余格：子结构逻辑的代数一瞥》，逻辑与数学基础研究第151卷。阿姆斯特丹爱思唯尔·Zbl 1171.03001号
[14] Hájek P（1998）《模糊逻辑的元数学》。逻辑趋势。多德雷赫特·克鲁沃·Zbl 0937.03030号 ·doi:10.1007/978-94-011-5300-3
[15] Hájek P，HarmancováD，Verbrugge R（1995）定性模糊概率逻辑。J近似原因12:1-19·Zbl 0819.03017号 ·doi:10.1016/0888-613X（94）00011-Q
[16] Hintikka J（1962）《知识与信仰》。介绍这两个概念的逻辑。双头螺栓日志16:119-122
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。