Every effect algebra can be made into a total algebra (Q1042413): Difference between revisions

We recall that an effect algebra is a partial structure \((E,+,0,1)\) such that \(\oplus\) is commutative, associative, and (i) for any \(a \in E\) there is a unique \(a'\in E\) such that \(a+ a=1,\) (ii) if \(a+ 1\) is defined in \(E,\) then \(a=0.\) The authors generalize orthomodular posets and orthoalgebras. The paper under review shows that every such partial algebra can be made into a total algebra \((E;\oplus, ^*,0).\) The proof of this result uses the so-called basic algebras, developed by the same authors.