Effect algebras form an algebraic formalization of the logic of quantum mechanics. For lattice effect algebras E , we investigate a natural implication and prove that the implication reduct of E is term equivalent to E . Then, we present a simple axiom system ... ...
