Priestley dualities for some lattice-ordered algebraic structures, including MTL, IMTL and MV-algebras

In this work we give a duality for many classes of lattice ordered algebras, as Integral Commutative Distributive Residuated Lattices MTL-algebras, IMTL-algebras and MV-algebras (see page 604). These dualities are obtained by restricting the duality given by the second author for DLFI-algebras by means of Priestley spaces with ternary relations (see [2]). We translate the equations that define some known subvarieties of DLFI-algebras to relational conditions in the associated DLFI-space.

[1]  James B. Hart,et al.  The Structure of Commutative Residuated Lattices , 2002, Int. J. Algebra Comput..

[2]  Hilary A. Priestley.  Stone lattices: a topological approach , 1974 .

[3]  R. P. Dilworth,et al.  Residuated Lattices. , 1938, Proceedings of the National Academy of Sciences of the United States of America.

[4]  Néstor G. Martínez.  A topological duality for some lattice ordered algebraic structures including ℓ-groups , 1994 .

[5]  Ramon Jansana,et al.  Bounded distributive lattices with strict implication , 2005, Math. Log. Q..

[6]  Viorica Sofronie-Stokkermans,et al.  Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators , 2003, J. Symb. Comput..

[7]  Hilary A. Priestley,et al.  Ordered Topological Spaces and the Representation of Distributive Lattices , 1972 .

[8]  Hilary A. Priestley,et al.  On Priestley Spaces of Lattice-Ordered Algebraic Structures , 1998 .

[9]  C. Tsinakis,et al.  A Survey of Residuated Lattices , 2002 .

[10]  Néstor G. Martínez.  A simplified duality for implicative lattices and l-groups , 1996, Stud Logica.

[11]  Alasdair Urquhart,et al.  Duality for algebras of relevant logics , 1996, Stud Logica.

[12]  D. Mundici,et al.  Algebraic Foundations of Many-Valued Reasoning , 1999 .

[13]  Lluis Godo,et al.  Monoidal t-norm based logic: towards a logic for left-continuous t-norms , 2001, Fuzzy Sets Syst..

[14]  Franco Montagna,et al.  On a class of left-continuous t-norms , 2002, Fuzzy Sets Syst..

[15]  Mai Gehrke,et al.  NON-CANONICITY OF MV-ALGEBRAS , 2002 .

[16]  Viorica Sofronie-Stokkermans,et al.  Duality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of Non-Classical Logics I , 2000, Stud Logica.