Abstract: We define a state as a -valued, finitely additive function attaining the value 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 -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.
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
Cites work
- scientific article; zbMATH DE number 1688754 (Why is no real title available?)
- scientific article; zbMATH DE number 3112450 (Why is no real title available?)
- scientific article; zbMATH DE number 3816010 (Why is no real title available?)
- scientific article; zbMATH DE number 3946195 (Why is no real title available?)
- scientific article; zbMATH DE number 3514748 (Why is no real title available?)
- scientific article; zbMATH DE number 1775504 (Why is no real title available?)
- scientific article; zbMATH DE number 3008903 (Why is no real title available?)
- scientific article; zbMATH DE number 3216771 (Why is no real title available?)
- scientific article; zbMATH DE number 3333596 (Why is no real title available?)
- scientific article; zbMATH DE number 3055208 (Why is no real title available?)
- Algebraic Analysis of Many Valued Logics
- Algebraic foundations of many-valued reasoning
- Averaging the truth-value in Łukasiewicz logic
- Bosbach states on fuzzy structures
- Central elements and Cantor-Bernstein's theorem for pseudo-effect algebras
- Effect algebras and unsharp quantum logics.
- Every state on interval effect algebra is integral
- Every state on semisimple MV-algebra is integral
- Generalized Boolean algebras in lattice-ordered groups
- Interpretation of AF C^*-algebras in Łukasiewicz sentential calculus
- Interpretation of De Finetti coherence criterion in Łukasiewicz logic
- Invariant Measures in Free MV-Algebras
- MV-algebras with internal states and probabilistic fuzzy logics
- Measures in Boolean Algebras
- Morphisms on EMV-algebras and their applications
- Representation and extension of states on MV-algebras
- States on pseudo MV-algebras
- States on quantum structures versus integrals
- THE LOOMIS–SIKORSKI THEOREM FOR -ALGEBRAS
Cited in
(14)- Probability measures in the logic of nilpotent minimum
- An improved expression for information quality of basic probability assignment and its application in target recognition
- On the embedding of continuous states
- THE LOOMIS–SIKORSKI THEOREM FOR -ALGEBRAS
- The extension of L-algebras and states
- EBL-algebras
- Generalized pseudo-EMV-effect algebras
- scientific article; zbMATH DE number 7687784 (Why is no real title available?)
- scientific article; zbMATH DE number 7687785 (Why is no real title available?)
- 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
- EMV-algebras with quantifier and semi-states on EMV-algebras
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)
