States on EMV-algebras

DOI10.1007/S00500-018-03738-XzbMATH Open1418.06008arXiv1708.06091OpenAlexW2963920297MaRDI QIDQ2318596FDOQ2318596

Anatolij Dvurečenskij, Omid Zahiri

Publication date: 15 August 2019

Published in: Soft Computing (Search for Journal in Brave)

Abstract: We define a state as a $[0,1]$-valued, finitely additive function attaining the value $1$ on an EMV-algebra, which is an algebraic structure close to MV-algebras, where the top element is not assumed. We show that states always exist, the extremal states are exactly state-morphisms. Nevertheless the state space is a convex space that is not necessarily compact, a variant of the Krein--Mil'man theorem saying states are generated by extremal states, is proved. We define a weaker form of states, pre-states and strong pre-states, and also Jordan signed measures which form a Dedekind complete $ell$-group. Finally, we show that every state can be represented by a unique regular probability measure, and a variant of the Horn--Tarski theorem is proved.

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

Recommendations

• EMV-algebras with quantifier and semi-states on EMV-algebras
• States on wEMV-algebras
• States on EQ-algebras
• States on hyper MV-algebras
• States on pseudo MV-algebras
• Pseudo EMV-algebras. II: Representation and states
• scientific article; zbMATH DE number 7687784
• On states on MV-algebras and their applications
• scientific article; zbMATH DE number 7687785
• States on polyadic MV-algebras

zbMATH Keywords

MV-algebrastateJordan signed measurestate morphismEMV-algebrapre-stateHorn-Tarski theoremintegral representation of statesKrein-Mil'man representationstrong pre-state

Mathematics Subject Classification ID

MV-algebras (06D35)

Cites Work

• Title not available (Why is that?)
• Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
• Algebraic foundations of many-valued reasoning
• Title not available (Why is that?)
• Title not available (Why is that?)
• Algebraic Analysis of Many Valued Logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Effect algebras and unsharp quantum logics.
• Title not available (Why is that?)
• Averaging the truth-value in Łukasiewicz logic
• Invariant Measures in Free MV-Algebras
• Title not available (Why is that?)
• States on quantum structures versus integrals
• Every state on interval effect algebra is integral
• Bosbach states on fuzzy structures
• States on pseudo MV-algebras
• Every state on semisimple MV-algebra is integral
• MV-algebras with internal states and probabilistic fuzzy logics
• Title not available (Why is that?)
• Generalized Boolean algebras in lattice-ordered groups
• Representation and extension of states on MV-algebras
• Title not available (Why is that?)
• Central elements and Cantor-Bernstein's theorem for pseudo-effect algebras
• Title not available (Why is that?)
• Interpretation of De Finetti coherence criterion in Łukasiewicz logic
• Measures in Boolean Algebras
• THE LOOMIS–SIKORSKI THEOREM FOR -ALGEBRAS
• Morphisms on EMV-algebras and their applications

Cited In (13)

• Probability measures in the logic of nilpotent minimum
• An improved expression for information quality of basic probability assignment and its application in target recognition
• THE LOOMIS–SIKORSKI THEOREM FOR -ALGEBRAS
• The extension of L-algebras and states
• EBL-algebras
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Generalized pseudo-EMV-effect algebras
• A variety containing EMV-algebras and Pierce sheaves of EMV-algebras
• States on the current algebra
• States on wEMV-algebras
• On EMV-algebras with square roots

This page was built for publication: States on EMV-algebras

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