A Duality for Algebras of Lattice-Valued Modal Logic

Authors:
Yoshihiro Maruyama
Affiliations:
Department of Humanistic Informatics, Graduate School of Letters, Kyoto University, Japan
Venue:
WoLLIC '09 Proceedings of the 16th International Workshop on Logic, Language, Information and Computation
Year:
2009

Citing 8
Cited 0

Many-valued modal logics

Fundamenta Informaticae - Special issue: logics for artificial intelligence
Many-valued modal logics II

Fundamenta Informaticae - Special issue on modal logics in knowledge representation
Modal logic

Modal logic
A Paradigm for Program Semantics: Power Structures and Duality

A Paradigm for Program Semantics: Power Structures and Duality
Weaker axioms, more ranges

Fundamenta Informaticae
Many-Valued Non-Monotonic Modal Logics

TVER '92 Proceedings of the Second International Symposium on Logical Foundations of Computer Science
Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic

ICLA '09 Proceedings of the 3rd Indian Conference on Logic and Its Applications
Category Theory

Category Theory

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, we consider some versions of Fitting's L -valued logic and L -valued modal logic for a finite distributive lattice L . Using the theory of natural dualities, we first obtain a natural duality for algebras of L -valued logic (i.e., L -VL-algebras), which extends Stone duality for Boolean algebras to the L -valued case. Then, based on this duality, we develop a Jónsson-Tarski-style duality for algebras of L -valued modal logic (i.e., L -ML-algebras), which extends Jónsson-Tarski duality for modal algebras to the L -valued case. By applying these dualities, we obtain compactness theorems for L -valued logic and for L -valued modal logic, and the classification of equivalence classes of categories of L -VL-algebras for finite distributive lattices L .