Stone Duality Type Theorems for MV-Algebras with Internal State

DOI10.1080/00927872.2010.531336MaRDI QIDQ2881065zbMATH OpenOpenAlexFDO

Authors Antonio Di Nola, Anatolij Dvurečenskij, Ada Lettieri

Publication date 3 April 2012

Published in Communications in Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1006.1960

zbMATH Keywords

Boolean algebraMV-algebraStone dualityinternal statestate-morphism operatorBauer simplexstate MV-algebrastate-morphism MV-algebra

Mathematics Subject Classification ID

Many-valued logic (03B50) Quantum logic (03G12) MV-algebras (06D35)

Abstract: Recently in cite{FM, FlMo}, the language of MV-algebras was extended by adding a unary operation, an internal operator, called also a state-operator. In cite{DD1}, a stronger version of state MV-algebras, called state-morphism MV-algebras was given. In this paper, we present Stone Duality Theorems for (i) the category of Boolean algebras with a fixed state-operator and the category of compact Hausdorff topological spaces with a fixed idempotent continuous function, and for (ii) the category of weakly divisible $sigma$-complete state-morphism MV-algebras and the category of Bauer simplices whose set of extreme points is basically disconnected and with a fixed idempotent continuous function.

Recommendations

• Stone duality for R₀-algebras with internal states
• On varieties of MV-algebras with internal states
• On the Loomis-Sikorski theorem for MV-algebras with internal state
• Loomis-Sikorski theorem and Stone duality for effect algebras with internal state
• Stone MV-algebras and strongly complete MV-algebras
• On states on MV-algebras and their applications
• The two-sorted algebraic theory of states, and the universal states of MV-algebras
• Extending Stone duality to multisets and locally finite MV-algebras.
• On some classes of state-morphism MV-algebras
• State-morphism MV-algebras

Cites work

• scientific article; zbMATH DE number 3946195 (Why is no real title available?)
• scientific article; zbMATH DE number 195199 (Why is no real title available?)
• scientific article; zbMATH DE number 3286895 (Why is no real title available?)
• scientific article; zbMATH DE number 3333596 (Why is no real title available?)
• Averaging the truth-value in Łukasiewicz logic
• Boolean Algebras with Operators. Part I
• Interpretation of AF C^*-algebras in Łukasiewicz sentential calculus
• MV-algebras with internal states and probabilistic fuzzy logics
• NP-containment for the coherence test of assessments of conditional probability: a fuzzy logical approach
• On some classes of state-morphism MV-algebras
• On the Loomis-Sikorski theorem for MV-algebras with internal state
• On varieties of MV-algebras with internal states
• State-morphism MV-algebras

Cited in

(8)

• Loomis-Sikorski theorem and Stone duality for effect algebras with internal state
• Extending Stone duality to multisets and locally finite MV-algebras.
• On varieties of MV-algebras with internal states
• Stone duality for R₀-algebras with internal states
• On the Loomis-Sikorski theorem for MV-algebras with internal state
• Stone duality for real-valued multisets
• Stone duality above dimension zero: axiomatising the algebraic theory of \(\mathrm{C}(X)\)
• An extension of Stone duality to fuzzy topologies and MV-algebras

This page was built for publication: Stone Duality Type Theorems for MV-Algebras with Internal State

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