On the Independence of Effect Algebras’ Axioms

In this paper, we scrutinize the axiomatic system of effect algebras which is given by D. J. Foulis and M.K. Bennett in the paper Effect Algebras and Unsharp Quantum Logics. We prove that this axiomatic system consists of independent axioms. To do this, we construct some models to indicate the indepence of each axiom. Therefore none of these axioms can be reduced when constructing any effect algebra. As a result, any algebra is an effect algebra if and only if it verifies (E1)-(E4) axioms.