Categorical study for Algebras of lattice-valued logic and lattice-valued modal logic

2018/08/06 by Ray, Kumar Sankar, Das, Litan Kumar
#Category Theory (math.CT) #FOS: Mathematics

paper · doi:10.48550/arxiv.1808.06464

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

Related

• A General (Uniform) Relational Semantics for Sentential Logics
• Algebraic semantics for one-variable lattice-valued logics
• On prevarieties of logic
• Modal logic, fundamentally
• Boolean Algebras and Logic