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

DOI10.1007/S11225-007-9074-5MaRDI QIDQ2462669zbMATH OpenOpenAlexFDO

Authors 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

many-valued modal logicsMV-algebrasrelational semanticstopological duality

Mathematics Subject Classification ID

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

Recommendations

• A Duality for Algebras of Lattice-Valued Modal Logic
• Dualities for modal algebras from the point of view of triples
• Dualities for algebras of Fitting's many-valued modal logics
• On modal operators in Łukasiewicz n-valued logics
• Duality for \(\kappa\)-additive complete atomic modal algebras
• Duals of Simple and Subdirectly Irreducible Distributive Modal Algebras
• A determination principle for algebras of \(n\)-valued Łukasiewicz logic
• scientific article; zbMATH DE number 724845
• Modal \(R_0\)-algebra-valued modal logic system \(\mathrm M\mathcal{L}^\ast\)
• An extension algebra and the modal system

Cites work

• A dual characterization of subdirectly irreducible BAOs
• A duality for Boolean algebras with operators
• A New Proof of the Completeness of the Lukasiewicz Axioms
• A Sahlqvist theorem for distributive modal logic
• A solution of the decision problem for the Lewis systems S2 and S4, with an application to topology
• A treatise on many-valued logics
• Algebraic Analysis of Many Valued Logics
• Algebraic foundations of many-valued reasoning
• Algebraic semantics for coalgebraic logics
• Boolean Algebras with Operators. Part I
• Bounded distributive lattice expansions
• Extending Stone duality to multisets and locally finite MV-algebras.
• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 35414 (Why is no real title available?)
• scientific article; zbMATH DE number 97789 (Why is no real title available?)
• scientific article; zbMATH DE number 3632465 (Why is no real title available?)
• scientific article; zbMATH DE number 1226180 (Why is no real title available?)
• scientific article; zbMATH DE number 3335866 (Why is no real title available?)
• scientific article; zbMATH DE number 3073052 (Why is no real title available?)
• Many-Valued Modal Propositional Calculi
• Modal logic
• Natural dualities for varieties of MV-algebras. I
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Stone coalgebras
• Tableaus for many-valued modal logic
• The Priestley duality for Wajsberg algebras
• Topology and duality in modal logic

Cited in

(15)

• Partial tense MV-algebras and related functions
• Natural dualities for varieties of \(n\)-valued Łukasiewicz algebras
• Bitopological duality for algebras of Fitting's logic and natural duality extension
• Operators on MV-algebras and their representations.
• Dualities for modal algebras from the point of view of triples
• On tense MV-algebras
• Constructing the Lindenbaum algebra for a logic step-by-step using duality
• Dualities for algebras of Fitting's many-valued modal logics
• A Duality for Algebras of Lattice-Valued Modal Logic
• Natural duality, modality, and coalgebra
• How to produce S-tense operators on lattice effect algebras
• Łukasiewicz Public Announcement Logic
• Hidden modalities in algebras with negation and implication
• Spectral Duality for Finitely Generated Nilpotent Minimum Algebras, with Applications
• Fuzzy topology and Łukasiewicz logics from the viewpoint of duality theory

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2462669)