States on finite linearly ordered IMTL-algebras (Q416275): Difference between revisions

An MTL-algebra [\textit{F. Esteva} and \textit{L. Godo}, Fuzzy Sets Syst. 124, No. 3, 271--288 (2001; Zbl 0994.03017)] is a commutative residuated lattice satisfying the additional axiom \((x \to y) \vee (y \to x) = 1\). It is called an IMTL-algebra if also the condition \(\neg\neg x = x\) is fulfilled. It is known that every IMTL-algebra is a subdirect product of linearly ordered algebras [loc. cit.]. In the paper under review, Bosbach states, Riečan states and state-morphisms are proved to be equivalent on linearly ordered IMTL-algebras. A locally finite IMTL-algebra has a state iff it is an MV-algebra; a more complicated necessary and sufficient condition for the existence of states is given also for the so-called peculiar IMTL-algebras.