States on bounded commutative residuated lattices
Michiro Kondo · Mathematica Slovaca · 2014
Abstract We define states on bounded commutative residuated lattices and consider their property. We show that, for a bounded commutative residuated lattice X, (1)If s is a state, then X/ker(s) is an MV-algebra.(2)If s is a state-morphism, then X/ker(s) is a linearly ordered locally finite MV-algebra. Moreover we show that for a state s on X, the following statements are equivalent: (i)s is a state-morphism on X.(ii)ker(s) is a maximal filter of X.(iii)s is extremal on X.