A duality for the algebras of a Łukasiewicz \(n+1\)-valued modal system

DOI10.1007/s11225-007-9074-5zbMath1127.03050OpenAlexW1997155729MaRDI QIDQ2462669

Bruno Teheux

Publication date: 3 December 2007

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-007-9074-5

zbMATH Keywords

relational semanticsMV-algebrastopological dualitymany-valued modal logics

Mathematics Subject Classification ID

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

Related Items (9)

On tense MV-algebras ⋮ Natural duality, modality, and coalgebra ⋮ Partial tense MV-algebras and related functions ⋮ Łukasiewicz Public Announcement Logic ⋮ How to produce S-tense operators on lattice effect algebras ⋮ Bitopological duality for algebras of Fitting's logic and natural duality extension ⋮ Fuzzy topology and Łukasiewicz logics from the viewpoint of duality theory ⋮ A Duality for Algebras of Lattice-Valued Modal Logic ⋮ Operators on MV-algebras and their representations.

Cites Work

• Unnamed Item
• 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
• Stone coalgebras
• A Sahlqvist theorem for distributive modal logic
• The Priestley duality for Wajsberg algebras
• Topology and duality in modal logic
• Extending Stone duality to multisets and locally finite MV-algebras.
• Algebraic foundations of many-valued reasoning
• A dual characterization of subdirectly irreducible BAOs
• Tableaus for many-valued modal logic
• Algebraic Analysis of Many Valued Logics
• A New Proof of the Completeness of the Lukasiewicz Axioms
• Many-Valued Modal Propositional Calculi
• Bounded distributive lattice expansions
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Boolean Algebras with Operators. Part I
• A solution of the decision problem for the Lewis systems S2 and S4, with an application to topology
• Natural dualities for varieties of MV-algebras. I

This page was built for publication: A duality for the algebras of a Łukasiewicz \(n+1\)-valued modal system