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

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)].