×
伊凡·查伊达;简·帕塞卡

模糊逻辑中的时态算子。 （英语） Zbl 1373.03033号

模糊集系统。 276, 100-113 (2015).
摘要：本文的目的是在每一个通过剩余偏序集公理化的模糊逻辑中引入和描述时态算子。为此，我们以全称量词的公理化为出发点，并为了我们的利益修改了这些公理。首先，我们证明了算子可以被识别为模态算子，并将这些对作为所谓的动态对进行了研究。此外，只要给定一个时间框架，我们就可以在相应的剩余偏序集中得到这些算子的构造。此外，我们还解决了在给定时态算子的情况下寻找时间框架的问题。特别是，任何时态代数都可以在其Dedekind-MacNeille完成式中表示。

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

MSC公司：

03B52号 模糊逻辑；模糊逻辑
03B44号 时间逻辑

关键词：

模糊逻辑;模态逻辑;剩余偏序集;时态逻辑;时态运算符;模糊动态代数
PDF格式BibTeX公司 XML格式引用
\textit{I.Chajda}和\textit{J.Paseka}，模糊集系统。276100--113（2015；Zbl 1373.03033）
全文： 内政部

参考文献：

[1] Bělohlávek，R.，《模糊关系系统：基础和原理》（2002），Kluwer Academic/Plenum出版社：Kluwer-Academic/Plenum出版社，纽约·Zbl 1067.03059号
[2] 肉毒杆菌。；查达，I。；哈拉什，R。；Kolařík，M.，《基本代数上的时态算子》，国际期刊Theor。物理。，50, 3737-3749 (2011) ·Zbl 1246.81014号
[3] Burges，J.，《基本时态逻辑》，（Gabbay，D.M.；Günther，F.，《哲学逻辑手册》，第二卷（1984），D.Reidel Publ。组件），89-139 ·Zbl 0875.03046号
[4] Cattaneo，G。；Ciucci，D。；Dubois，D.，基于de-Morgan和Kleene格的偏差模态算子代数模型，Inf.Sci。，181, 4075-4100 (2011) ·兹比尔1242.03088
[5] Chajda，I.，时态直觉逻辑的代数公理化，中央。欧洲数学杂志。，9, 1185-1191 (2012) ·Zbl 1260.03113号
[6] 查达；Kolařík M，I.，动态效应代数，数学。斯洛伐克，62，379-388（2012）·Zbl 1324.03026号
[7] 查达，I。；Paseka，J.，动态效应代数及其表示，软计算。，16, 1733-1741 (2012) ·Zbl 1318.03059号
[8] 查达，I。；Paseka，J.，《作为模态逻辑和时态逻辑公理化的动态代数》（2012），预印本
[9] Chirită，C.，时态值Lukasiewicz-Moisil代数，J.Mult-有价值的日志。软计算。，17, 1-24 (2011) ·Zbl 1236.03046号
[10] Dellund，P。；戈多，L。；马尔基奥尼，E.，《在哥德尔逻辑上扩展可能性逻辑》，《国际近似推理》。，52, 63-75 (2011) ·Zbl 1228.03008号
[11] 迪亚科内斯库，D。；Georgescu，G.，MV-代数和Łukasiewicz-Moisil代数上的时态算子，Fundam。通知。，81, 379-408 (2007) ·Zbl 1136.03045号
[12] Dvurečenskij，A。；Pulmannová，S.，《量子结构的新趋势》（2000），Kluwer Acad。出版物：Kluwer学院。出版物。多德雷赫特/波士顿/伦敦，伊斯特科学。，布拉迪斯拉发·Zbl 0987.81005号
[13] Ewald，W.B.，直觉主义时态和模态逻辑，J.Symb。日志。，51, 166-179 (1986) ·Zbl 0618.03004号
[14] 菲加洛，A.V。；佩莱泰，G。；Sanza，C.，TSH-代数的离散对偶，Commun。韩国数学。Soc.，27，47-56（2012）·Zbl 1259.03087号
[15] Foulis，D.J。；Bennett，M.K.，《效应代数和非锐化量子逻辑》，Found。物理。，24, 1325-1346 (1994) ·Zbl 1213.06004号
[16] 北卡罗来纳州加拉托斯。；吉普森，P。；科瓦尔斯基，T。；Ono，H.，《剩余格：亚结构逻辑的代数一瞥》，爱思唯尔逻辑与基础研究（2007）·Zbl 1171.03001号
[17] Hájek，P.，《模糊逻辑的元数学，逻辑趋势》，Studia Logica Library，第4卷（1998年），Kluwer学术出版社·Zbl 0937.03030号
[18] 穆克吉，S。；Dasgupta，P.，《模糊实时时序逻辑》，国际期刊近似推理。，54, 1452-1470 (2013) ·Zbl 1316.03012号
[19] 帕塞卡，J。；Janda，J.，具有对偶运算的动态效应代数，数学。申请。，1, 79-89 (2012) ·兹比尔1296.03039
[20] Paseka，J.，MV-代数上的算子及其表示，模糊集系统。，232, 62-73 (2013) ·Zbl 1314.06016号
[21] Wijesekera，D.，《构造模态逻辑I》，Ann.Pure Appl。日志。，50, 271-301 (1990) ·Zbl 0714.03016号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。