Which o-commutative basic algebras are effect algebras (Q616812)

From MaRDI portal
Revision as of 00:10, 2 July 2023 by Importer (talk | contribs) (‎Created a new Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Which o-commutative basic algebras are effect algebras
scientific article

    Statements

    Which o-commutative basic algebras are effect algebras (English)
    0 references
    0 references
    12 January 2011
    0 references
    Lattice effect algebras naturally give rise to De~Morgan algebras. However, the orthosum \(\oplus\) cannot be derived from the corresponding De~Morgan algebra. This is the motivation for the so-called basic algebras, introduced by \textit{I. Chajda, R. Halaš} and \textit{J. Kühr} [``Many-valued quantum algebras'', Algebra Univers. 60, No.~1, 63--90 (2009; Zbl 1219.06013)]. These are De~Morgan algebras with antitone involutions (relative complements) in each interval with upper bound~\(1\). They can be equivalently described using an implication. Here, the author proves that atomic Archimedean basic algebras correspond to lattice effect algebras, resp.\ MV-algebras, iff they are o-commutative, resp.\ commutative, where o-commutativity means that the partial operation \(\oplus\) is commutative. This extends the results obtained for finite basic algebras by \textit{M. Botur} and \textit{R. Halaš} [``Finite commutative basic algebras are MV-effect algebras'', J. Mult.-Val. Log. Soft Comput. 14, No.~1--2, 69--80 (2008; Zbl 1236.06007)].
    0 references
    0 references
    commutative basic algebra
    0 references
    lattice effect algebra
    0 references
    MV-algebra
    0 references

    Identifiers