States on finite linearly ordered IMTL-algebras (Q416275): Difference between revisions
From MaRDI portal
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
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