Atomic sequential effect algebras (Q2426170)

An effect algebra is a partial algebra \((E;+0,1)\) such that the partial addition \(+\) is commutative, associative, any element admits a unique complement, and if \(a+1\) is defined, then \(a=0.\) Such algebras cover 0-1 reasoning as well as a fuzzy one. A sequential product on effect algebras was defined by \textit{S. Gudder} and \textit{R. Greechie} [Rep. Math. Phys 49, No. 1, 87--111 (2002; Zbl 1023.81001)]. It is inspiring that products of positive Hermitian operators form again such an algebra. The paper under review studies other interesting properties connected with sequential products. It deals with atomic effect algebras, weak distributivity, sharp elements, center of an effect algebra showing that it is always a Boolean algebra as well as, under some conditions, the set of sharp elements. The paper deals with the syntax of the language, first-order structures, and generalized Boolean algebras.