States on EMV-algebras

Anatolij Dvurečenskij, Omid Zahiri

We define a state as a $[0,1]$-valued, finitely additive function attaining the value $1$ on an EMV-algebra, which is an algebraic structure close to MV-algebras, where the top ele…