Categorical study for Algebras of lattice-valued logic and lattice-valued modal logic
classification
🧮 math.CT
keywords
lattice-valuedlogicalgebrasdualitymodalcategoricalsystemsadjointness
read the original 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 co-adjointness, adjointness of functors. As a result, we get a duality for algebras of lattice-valued logic. Following this duality results, we establish a duality for algebras of lattice-valued modal logic
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.