States on commutative basic algebras (Q427918): Difference between revisions

Commutative basic algebras \((A,\oplus , \neg, 0)\) of type \((2,1,0)\) are considered such that \(A\) is an MV-algebra if it is associative. Analogously, as in MV-algebras, a state \(s : A \rightarrow [0, 1]\) is defined. It is proved that a commutative basic algebra \(A\) which is representable (i.e., \(A\) is a subdirect product of linearly ordered commutative basic algebras) and which has a faithfull state \(s : A \rightarrow [0, 1]\) (i.e., \(s(a) = 0 \Rightarrow a = 0)\), is an MV-algebra.