Categorical study for algebras of Fitting’s lattice-valued logic and lattice-valued modal logic
Article Type
Research Article
Publication Title
Annals of Mathematics and Artificial Intelligence
Abstract
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.
First Page
409
Last Page
429
DOI
10.1007/s10472-020-09707-1
Publication Date
3-1-2021
Recommended Citation
Ray, Kumar Sankar and Das, Litan Kumar, "Categorical study for algebras of Fitting’s lattice-valued logic and lattice-valued modal logic" (2021). Journal Articles. 2079.
https://digitalcommons.isical.ac.in/journal-articles/2079