States on residuated lattices (Algebra and Computer Science)
Michiro Kondo · Kyoto University Research Information Repository (Kyoto University) · 2014
We define states on non-commutative bounded residuated lattices and consider their property.We show that, for a non-commutative bounded residuated lattice $X$ , if $s$ is a state then $X/ker(s)$ is an $MV$ -algebra.