A Duality for Algebras of Lattice-Valued Modal Logic

DOI10.1007/978-3-642-02261-6_23zbMath1246.03085OpenAlexW1602036104MaRDI QIDQ3638290

Yoshihiro Maruyama

Publication date: 2 July 2009

Published in: Logic, Language, Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-02261-6_23

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25)

Related Items (1)

Fuzzy topology and Łukasiewicz logics from the viewpoint of duality theory

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A duality for Boolean algebras with operators
• A Sahlqvist theorem for distributive modal logic
• Domain theory in logical form
• Topological dualities in semantics
• Tableaus for many-valued modal logic
• A duality for the algebras of a Łukasiewicz \(n+1\)-valued modal system
• Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic
• A Catalog ofWeak Many-Valued Modal Axioms and their Corresponding Frame Classes
• Frame constructions, truth invariance and validity preservation in many-valued modal logic
• Many-valued reflexive autoepistemic logic
• Category Theory
• The representation of Boolean algebras
• Bounded lattice expansions

This page was built for publication: A Duality for Algebras of Lattice-Valued Modal Logic