当前位置: X-MOL 学术Ann. Math. Artif. Intel. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Categorical study for algebras of Fitting’s lattice-valued logic and lattice-valued modal logic
Annals of Mathematics and Artificial Intelligence ( IF 1.2 ) Pub Date : 2020-09-21 , DOI: 10.1007/s10472-020-09707-1
Kumar Sankar Ray , Litan Kumar Das

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.

中文翻译:

Fitting格值逻辑和格值模态逻辑代数的范畴研究

本文探讨了格值关系系统和 Fitting 格值模态逻辑代数之间的分类互连。我们定义格值布尔系统,然后我们研究定义在它们上的函子的伴随性和共伴随性。结果,我们得到格值逻辑代数的对偶性。根据这个对偶性结果,我们为格值模态逻辑的代数建立了对偶性。
更新日期:2020-09-21
down
wechat
bug