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 条

[1] Categorical study for algebras of Fitting's lattice-valued logic and lattice-valued modal logic
Ray, Kumar Sankar
Das, Litan Kumar
[J]. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2021, 89 (3-4) : 409 - 429
[2] Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic
Maruyama, Yoshihiro
[J]. LOGIC AND ITS APPLICATIONS, 2009, 5378 : 170 - 184
[3] A Duality for Algebras of Lattice-Valued Modal Logic
Maruyama, Yoshihiro
[J]. LOGIC, LANGUAGE, INFORMATION AND COMPUTATION, 2009, 5514 : 281 - 295
[4] On an algebra of lattice-valued logic
Hansen, L
[J]. JOURNAL OF SYMBOLIC LOGIC, 2005, 70 (01) : 282 - 318
[5] Agents and lattice-valued logic
Mathematical Department, Catholic University, Brescia, Italy
[J]. J. Donghua Univ., 2006, 6 (113-116):
[6] Lattice-Valued Proposition Logic(Ⅱ)
Qin Keyun
Xu Yang( Dept. of Appl. Mathematics
[J]. Railway Engineering Science, 1994, (01) : 22 - 27
[7] Agents and Lattice-valued Logic
Germanno Resconi
[J]. Journal of Donghua University(English Edition), 2006, (06) : 113 - 116
[8] Lattice-valued modal propositional logic based on M-lattice implication algebras
Liu Y.
Liu J.
Chen S.-W.
Xu Y.
[J]. Journal of Shanghai Jiaotong University (Science), 2012, 17 (02) : 166 - 170
[9] Lattice-valued modal propositional logic and its completeness
SHI HuiXian & WANG GuoJun1 Institute of Mathematics
[J]. Science China(Information Sciences), 2010, 53 (11) : 2230 - 2239
[10] Lattice-valued modal propositional logic and its completeness
Shi HuiXian
Wang GuoJun
[J]. SCIENCE CHINA-INFORMATION SCIENCES, 2010, 53 (11) : 2230 - 2239

← 1 2 3 4 5 →