Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic

DOI10.1007/978-3-540-92701-3_12zbMath1209.03018OpenAlexW1496715660MaRDI QIDQ3601808

Yoshihiro Maruyama

Publication date: 12 February 2009

Published in: Logic and Its Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-92701-3_12

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25) Many-valued logic (03B50)

Related Items (5)

Lattice-valued modal propositional logic based on M-lattice implication algebras ⋮ Bitopological duality for algebras of Fitting's logic and natural duality extension ⋮ Fuzzy topology and Łukasiewicz logics from the viewpoint of duality theory ⋮ Categorical study for algebras of Fitting's lattice-valued logic and lattice-valued modal logic ⋮ A Duality for Algebras of Lattice-Valued Modal Logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A Sahlqvist theorem for distributive modal logic
• Tableaus for many-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
• Bounded distributive lattice expansions
• The Lattice Theory of Post Algebras
• Bounded lattice expansions

This page was built for publication: Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic