On EMV-algebras

DOI10.1016/J.FSS.2019.02.013MaRDI QIDQ2329016zbMATH OpenOpenAlexFDO

Authors Anatolij Dvurečenskij, Omid Zahiri

Publication date 17 October 2019

Published in Fuzzy Sets and Systems (Search for Journal in Brave)

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

zbMATH Keywords

categorical equivalenceEMV-algebraEMV-clanEMV-clan of fuzzy setsequational basefiltergeneralized Boolean algebraidealidempotent elementMV-algebraq-varietystate-morphismvariety

Mathematics Subject Classification ID

MV-algebras (06D35)

Abstract: The paper deals with an algebraic extension of $MV$-algebras based on the definition of generalized Boolean algebras. We introduce a new algebraic structure, not necessarily with a top element, which is called an $EMV$-algebra and every $EMV$-algebra contains an $MV$-algebra. First, we present basic properties of $EMV$-algebras, give some examples, introduce and investigate congruence relations, ideals and filters on this algebra. We show that each $EMV$-algebra can be embedded into an $MV$-algebra and we characterize $EMV$-algebras either as $MV$-algebras or maximal ideals of $MV$-algebras. We study the lattice of ideals of an $EMV$-algebra and prove that any $EMV$-algebra has at least one maximal ideal. We define an $EMV$-clan of fuzzy sets as a special $EMV$-algebra. We show any semisimple $EMV$-algebra is isomorphic to an $EMV$-clan of fuzzy functions on a set. We consider the variety of $EMV$-algebra and we present an equational base for each proper subvariety of the variety of $EMV$-algebras. We establish a categorical equivalencies of the category of proper $EMV$-algebras, the category of $MV$-algebras with a fixed special maximal ideal, and a special category of Abelian unital $ell$-groups.

Recommendations

• EMV-algebras -- extended MV-algebras
• On EMV-Semirings
• Generalized EMV-effect algebras
• EMV-algebras with quantifier and semi-states on EMV-algebras
• Pseudo EMV-algebras. I: Basic properties

Cites work

• A Cantor-Bernstein Theorem for σ-Complete MV-Algebras
• A non-commutative generalization of MV-algebras
• Advanced Łukasiewicz calculus and MV-algebras
• Algebraic Analysis of Many Valued Logics
• Algebraic foundations of many-valued reasoning
• Averaging the truth-value in Łukasiewicz logic
• Equational characterization of all varieties of MV-algebras
• Generalized Boolean algebras in lattice-ordered groups
• Generalized MV-algebras
• scientific article; zbMATH DE number 3112450 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 192848 (Why is no real title available?)
• scientific article; zbMATH DE number 1775509 (Why is no real title available?)
• scientific article; zbMATH DE number 194985 (Why is no real title available?)
• scientific article; zbMATH DE number 764334 (Why is no real title available?)
• scientific article; zbMATH DE number 3365842 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• scientific article; zbMATH DE number 2208113 (Why is no real title available?)
• Interpretation of AF C^*-algebras in Łukasiewicz sentential calculus
• Lattices and ordered algebraic structures
• Monadic GMV-algebras
• On pseudo MV-algebras
• Perfect GMV-Algebras
• Pseudo MV-algebras are intervals in ℓ-groups
• Semirings and pseudo MV algebras
• State morphism MV-algebras
• State-morphism MV-algebras
• States on pseudo MV-algebras
• States on pseudo-effect algebras with general comparability.
• Super-Łukasiewicz propositional logics
• The semiring-theoretic approach to MV-algebras: a survey

Cited in

(19)

• Extensions of MV-algebras
• Generalized EMV-effect algebras
• Morphisms on EMV-algebras and their applications
• MV-algebras embedded in a CL-algebra
• A variety containing EMV-algebras and Pierce sheaves of EMV-algebras
• EBL-algebras
• Locally -complete and locally complete EMV-algebras
• States on wEMV-algebras
• Generalized pseudo-EMV-effect algebras
• EMV-algebras -- extended MV-algebras
• On EMV-algebras with square roots
• THE LOOMIS–SIKORSKI THEOREM FOR -ALGEBRAS
• Weak pseudo EMV-algebras. II: Representation and subvarieties
• EMV-algebras with quantifier and semi-states on EMV-algebras
• On EMV-Semirings
• PMV-algebras of matrices
• Ehoops
• scientific article; zbMATH DE number 7687784 (Why is no real title available?)
• The extension of L-algebras and states

This page was built for publication: On EMV-algebras

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