Distributivity and associativity in effect algebras

We prove “large associativity” of the partial sum in effect algebras and present an overview of distributivity-like properties of partial operations ⊕ and ⊖ in effect algebras with respect to (possibly infinite) suprema and infima and vice versa generalizing several previous results.