Quotients of interval effect algebras (Q2365440)

An effect algebra is a structure \((E,\oplus,0,u)\) consisting of a set \(E\), a partially defined binary operation \(\oplus\), and two special elements \(0\), \(u\in E\) such that \(\oplus\) is associative and commutative, for each \(p\in E\) there is a unique \(q\in E\) such that \(p\oplus q=u\), and if \(p\oplus u\) is defined, then \(p=0\). An effect algebra is an interval effect algebra if it is isomorphic to an effect algebra \(G^+[0,u] =\{x\in G:0\leq x\leq u\}\), where \(G\) is an Abelian po-group. E.g., the system of all effect operators of a Hilbert space is an interval effect algebra. In the paper under review, the authors study quotients of interval effect algebras.