Stone Duality Type Theorems for MV-Algebras with Internal State

DOI10.1080/00927872.2010.531336zbMATH Open1259.06015arXiv1006.1960OpenAlexW2104486202MaRDI QIDQ2881065FDOQ2881065

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

Publication date: 3 April 2012

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

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.

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

Recommendations

• Stone duality for \(R_0\)-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

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)

Cites Work

• Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
• Title not available (Why is that?)
• Title not available (Why is that?)
• Boolean Algebras with Operators. Part I
• State-morphism MV-algebras
• Averaging the truth-value in Łukasiewicz logic
• On the Loomis-Sikorski theorem for MV-algebras with internal state
• Title not available (Why is that?)
• MV-algebras with internal states and probabilistic fuzzy logics
• On varieties of MV-algebras with internal states
• NP-containment for the coherence test of assessments of conditional probability: a fuzzy logical approach
• Title not available (Why is that?)
• On some classes of state-morphism MV-algebras

Cited In (6)

• 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
• On the Loomis-Sikorski theorem for MV-algebras with internal state
• Stone duality for real-valued multisets
• STONE DUALITY FOR R0-ALGEBRAS WITH INTERNAL STATES

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)