Search

We discuss the relationships between effect algebras with the Riesz Decomposition Property and partially ordered groups with interpolation. We show that any $\sigma$-orthocomplete atomic effect algebra with the Riesz Decomposition Property is an MV-effect algebras, and we apply this result for pseudo-effect algebras and for states.

We give sufficient and necessary conditions to guarantee that a pseudo-effect algebra admits an $(n+1)$-valued discrete state. We introduce $n$-perfect pseudo-effect algebras as algebras which can be split into $n+1$ comparable slices. We prove that the category of strong $n$-perfect pseudo-effect algebras is categorically equivalent to the category of torsion-free directed partially ordered groups of a special type.