Holland\'s theory for sequential effect algebras
Jiansheng Guo · Computer Engineering and Applications Journal · 2010
The definition of sequential effect algebras is introduced and some character of sequential effect algebras are giv-en.It is proved that the quotient algebra induced by a prime ideal of a commutative sequential effect algebra is also a com-mutative sequential effect algebra.It is showed that every commutative sequential effect algebra can be represented by the commutative sequential effect algebra of automorphisms of an antilattice.Such a representation is useful since it gives a vi-sualization of some commutative sequential effect algebra as a set of automorphisms.