Some properties of effect algebra

Abstract As a kind of algebraic structure, effect algebra is the foundation of quantum structure and quantum measurement. Sequential effect algebra is a special type of effect algebra that plays an important role in the fundamental research of Quantum Computation. Therefore, we study the related theory of effect algebra in this paper. Finally, four properties and special examples of effect algebra and sequence effect algebra are presented, as well as three properties of effect algebra level sum.