Structure theorems for idempotent residuated lattices

In this paper we study structural properties of residuated lattices that are idempotent as monoids. We provide descriptions of the totally ordered members of this class and obtain counting theorems for the number of finite algebras in various subclasses. We also establish the finite embeddability property for certain varieties generated by classes of residuated lattices that are conservative in the sense that monoid multiplication always yields one of its arguments. We then make use of a more symmetric version of Raftery’s characterization theorem for totally ordered commutative idempotent residuated lattices to prove that the variety generated by this class has the amalgamation property. Finally, we address an open problem in the literature by giving an example of a noncommutative variety of idempotent residuated lattices that has the amalgamation property.

[1]  X. Zhao,et al.  The structure of idempotent residuated chains , 2009 .

[2]  J. Raftery,et al.  Idempotent residuated structures: Some category equivalences and their applications , 2014 .

[3]  L. Maksimova.  Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-boolean algebras , 1977 .

[4]  Enrico Marchioni,et al.  Craig interpolation for semilinear substructural logics , 2012, Math. Log. Q..

[5]  Clint J. van Alten,et al.  The finite model property for knotted extensions of propositional linear logic , 2005, J. Symb. Log..

[6]  Francesco Paoli,et al.  Ordered Algebras and Logic , 2010 .

[7]  Norihiro Kamide,et al.  Substructural Logics with Mingle , 2002, J. Log. Lang. Inf..

[8]  James G. Raftery,et al.  Representable idempotent commutative residuated lattices , 2007 .

[9]  Constantine Tsinakis,et al.  The Structure of Residuated Lattices , 2003, Int. J. Algebra Comput..

[10]  David Stanovský,et al.  Commutative idempotent residuated lattices , 2007 .

[11]  J. S. Olson.  The subvariety lattice for representable idempotent commutative residuated lattices , 2012 .

[12]  Miguel Couceiro,et al.  Quasitrivial semigroups: characterizations and enumerations , 2017, ArXiv.

[13]  J. Raftery,et al.  A category equivalence for odd Sugihara monoids and its applications , 2012 .

[14]  X. Zhao,et al.  Conical residuated lattice-ordered idempotent monoids , 2009 .

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

[16]  Peter Jipsen,et al.  Residuated lattices: An algebraic glimpse at sub-structural logics , 2007 .

[17]  C. J. Van Alten.  Congruence properties in congruence permutable and in ideal determined varieties, with applications. , 2005 .

[18]  A. Tarski,et al.  On Closed Elements in Closure Algebras , 1946 .

[19]  Wei Chen,et al.  Variety generated by conical residuated lattice-ordered idempotent monoids , 2019, Semigroup Forum.

[20]  The finite model property for knotted extensions of propositional linear logic , 2005, Journal of Symbolic Logic.

[21]  J. Michael Dunn.  Algebraic Completeness Results for R-Mingle and Its Extensions , 1970, J. Symb. Log..

[22]  C. Tsinakis,et al.  AMALGAMATION AND INTERPOLATION IN ORDERED ALGEBRAS , 2014 .