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

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
Set OpenAlex properties.
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/s00500-011-0701-8 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2071848866 / rank
 
Normal rank

Revision as of 20:27, 19 March 2024

scientific article
Language Label Description Also known as
English
States on finite linearly ordered IMTL-algebras
scientific article

    Statements

    States on finite linearly ordered IMTL-algebras (English)
    0 references
    0 references
    0 references
    10 May 2012
    0 references
    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.
    0 references
    Bosbach state
    0 references
    IMTL-algebra
    0 references
    residuated lattice
    0 references
    Riečan state
    0 references
    state-morphism
    0 references

    Identifiers