Priestley dualities for some lattice-ordered algebraic structures, including MTL, IMTL and MV-algebras (Q861580): Difference between revisions

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.