Effect algebras with state operator
Silvia Pulmannová · EPiC series in computing · 2018
A state operator on effect algebras is introduced as an additive, idempotent and unital mapping from the effect algebra into itself. The definition is inspired by the definition of an internal state on MV-algebras, recently introduced by Flaminio and Montagna. We study state operators on convex effect algebras, and show their relations with conditional expectations on operator algebras.