Loomis--Sikorski Theorem and Stone Duality for Effect Algebras with Internal State

D. Buhagiar, E. Chetcutti, A. Dvurečenskij

Recently Flaminio and Montagna, \cite{FlMo}, extended the language of MV-algebras by adding a unary operation, called a state-operator. This notion is introduced here also for effe…