Priestley dualities for some lattice-ordered algebraic structures, including MTL, IMTL and MV-algebras (Q861580): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 01:24, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Priestley dualities for some lattice-ordered algebraic structures, including MTL, IMTL and MV-algebras |
scientific article |
Statements
Priestley dualities for some lattice-ordered algebraic structures, including MTL, IMTL and MV-algebras (English)
0 references
29 January 2007
0 references
The authors investigate a topological representation for some algebraic structures of fuzzy logic using the results given in [\textit{S. A. Celani}, ``Bounded distributive lattices with fusion and implication'', Southeast Asian Bull. Math. 28, 999--1010 (2004; Zbl 1065.03050)]. In particular, the authors give a duality for integral commutative distributive residuated lattices, MTL-algebras, IMTL-algebras and MV-algebras. In Section 3 the authors prove that a DLI-algebra or a DLF-algebra satisfies certain identities if and only if its dual space satisfies certain first-order conditions. Some of these correspondences are known in relevance logic and relevant algebras [\textit{A. Urquhart}, ``Duality for algebras of relevant logics'', Stud. Log. 56, 263--276 (1996; Zbl 0844.03032)], although the authors' presentation is different. In Section 4 the authors give the mentioned Priestley dualities for integral commutative distributive residuated lattices, MTL-algebras, IMTL-algebras and MV-algebras. In Section 5 the authors discuss how the dualities given by the second author [loc. cit.] are related to other known representations and dualities for lattice with different operators.
0 references
bounded distributive lattices with fusion and implication
0 references
Priestley duality
0 references
residuated distributive lattices
0 references
MTL-algebras
0 references
IMTL-algebras
0 references
MV-algebras
0 references
topological representation
0 references
algebraic structures of fuzzy logic
0 references