K-modal BL-logic

被引：0
|
作者：
Haveshki, Masoud [1 ]
Mohamadhasani, Mahboobeh [1 ]
机构：
[1] Univ Hormozgan, Dept Math, POB 3995, Bandarabbas, Iran
来源：
JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING | 2023年 / 40卷 / 3-4期
关键词：
BL-logic; K-modal BL-logic; soundness theorem;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Eslami et al. [Journal of Intelligent & Fuzzy systems, 29:337-388, (2015)] introduced K-modal BL-logic and claimed this logic is sound with respect to K-modal BL-algebras. We prove this claim is wrong. We construct a new logic and prove this logic is sound and complete with respect to K-modal BL-algebras.
引用
收藏
页码：401 / 414
页数：14
相关论文
共 50 条
  • [1] On K-modal BL-logics
    Eslami, Esfandiar
    Kia, Omid Yousefi
    Saeid, Arsham Borumand
    JOURNAL OF INTELLIGENT & FUZZY SYSTEMS, 2015, 29 (01) : 377 - 388
  • [2] K-modal BL-algebras
    Kia, Omid Y.
    Eslami, Esfandiar
    Saeid, Arsham Borumand
    KUWAIT JOURNAL OF SCIENCE, 2016, 43 (01) : 39 - 60
  • [3] Truth-depressing hedges and BL-logic
    Vychodil, Vilem
    FUZZY SETS AND SYSTEMS, 2006, 157 (15) : 2074 - 2090
  • [4] On minimum k-modal partitions of permutations
    Di Stefano, G
    Krause, S
    Lübbecke, ME
    Zimmermann, UT
    LATIN 2006: THEORETICAL INFORMATICS, 2006, 3887 : 374 - 385
  • [5] On minimum k-modal partitions of permutations
    Di Stefano, Gabriele
    Krause, Stefan
    Luebbecke, Marco E.
    Zimmermann, Uwe T.
    JOURNAL OF DISCRETE ALGORITHMS, 2008, 6 (03) : 381 - 392
  • [6] Pseudomonadic BL-algebras: an algebraic approach to possibilistic BL-logic
    Manuela Busaniche
    Penélope Cordero
    Ricardo Oscar Rodriguez
    Soft Computing, 2019, 23 : 2199 - 2212
  • [7] Pseudomonadic BL-algebras: an algebraic approach to possibilistic BL-logic
    Busaniche, Manuela
    Cordero, Penelope
    Oscar Rodriguez, Ricardo
    SOFT COMPUTING, 2019, 23 (07) : 2199 - 2212
  • [8] Computing k-Modal Embeddings of Planar Digraphs
    Besa, Juan Jose
    Da Lozzo, Giordano
    Goodrich, Michael T.
    27TH ANNUAL EUROPEAN SYMPOSIUM ON ALGORITHMS (ESA 2019), 2019, 144
  • [9] Unsupervised K-modal Styled Content Generation
    Sendik, Omry
    Lischinski, Dani
    Cohen-Or, Daniel
    ACM TRANSACTIONS ON GRAPHICS, 2020, 39 (04):
  • [10] Learning k-modal distributions via testing
    Daskalakis, Constantinos
    Diakonikolas, Ilias
    Servedio, Rocco A.
    1600, University of Chicago, Department of Computer Science (10): : 535 - 570
12345