Categorical study for algebras of Fitting’s lattice-valued logic and lattice-valued modal logic

被引：0
|
作者：
Kumar Sankar Ray
Litan Kumar Das
机构：
[1] ECSU,
[2] Indian Statistical Institute,undefined
来源：
Annals of Mathematics and Artificial Intelligence | 2021年 / 89卷
关键词：
Lattice-valued Boolean systems; Lattice-valued relational systems; Algebras of Fitting’s lattice-valued modal logic; Adjoint; Co-adjoint; Duality; 03B50; 06D22; 06D50; 18B99;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
The paper explores categorical interconnections between lattice-valued relational systems and algebras of Fitting’s lattice-valued modal logic. We define lattice-valued Boolean systems, and then we study adjointness and co-adjointness of functors defined on them. As a result, we get a duality for algebras of lattice-valued logic. Following this duality result, we establish a duality for algebras of lattice-valued modal logic.
引用
收藏
页码：409 / 429
页数：20
相关论文
共 50 条
  • [21] α-Minimal Resolution Principle For A Lattice-Valued Logic
    Jia, Hairui
    Xu, Yang
    Liu, Yi
    Liu, Jun
    [J]. INTERNATIONAL JOURNAL OF COMPUTATIONAL INTELLIGENCE SYSTEMS, 2015, 8 (01) : 34 - 43
  • [22] Tautologies in some lattice-valued logic systems
    Li, HM
    Qin, KY
    Xu, Y
    [J]. 2003 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND CYBERNETICS, VOLS 1-5, PROCEEDINGS, 2003, : 2563 - 2568
  • [23] Multiary α-Resolution Principle for a Lattice-Valued Logic
    Xu, Yang
    Liu, Jun
    Zhong, Xiaomei
    Chen, Shuwei
    [J]. IEEE TRANSACTIONS ON FUZZY SYSTEMS, 2013, 21 (05) : 898 - 912
  • [24] Progress and prospect in lattice-valued logic systems based on lattice implication algebras
    Xu, Y
    Ruan, D
    Liu, J
    [J]. APPLIED COMPUTATIONAL INTELLIGENCE, 2004, : 29 - 34
  • [25] α-Minimal Resolution Principle For A Lattice-Valued Logic
    Hairui Jia
    Yang Xu
    Yi Liu
    Jun Liu
    [J]. International Journal of Computational Intelligence Systems, 2015, 8 (1) : 34 - 43
  • [26] α-Lock paramodulation for lattice-valued propositional logic
    He, Xingxing
    Xu, Yang
    Liu, J.
    [J]. 2015 10TH INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS AND KNOWLEDGE ENGINEERING (ISKE), 2015, : 18 - 20
  • [27] Linguistic truth-valued concept lattice based on lattice-valued logic
    Yang, Li
    Xu, Yang
    [J]. PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS AND KNOWLEDGE ENGINEERING (ISKE 2007), 2007,
  • [28] Lattice-valued soft algebras
    Solovyov, Sergey A.
    [J]. SOFT COMPUTING, 2013, 17 (10) : 1751 - 1766
  • [29] Lattice-valued soft algebras
    Sergey A. Solovyov
    [J]. Soft Computing, 2013, 17 : 1751 - 1766
  • [30] LATTICE-VALUED CATEGORIES OF LATTICE-VALUED CONVERGENCE SPACES
    Jaeger, G.
    [J]. IRANIAN JOURNAL OF FUZZY SYSTEMS, 2011, 8 (02): : 67 - 89
12345