Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic
From MaRDI portal
Publication:3601808
DOI10.1007/978-3-540-92701-3_12zbMath1209.03018MaRDI QIDQ3601808
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
03B45: Modal logic (including the logic of norms)
03G25: Other algebras related to logic
03B50: Many-valued logic
Related Items
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, Bitopological duality for algebras of Fitting's logic and natural duality extension, Lattice-valued modal propositional logic based on M-lattice implication algebras, 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