Abstract
We introduce and characterize various gluing constructions for residuated lattices that intersect on a common subreduct, and which are subalgebras, or appropriate subreducts, of the resulting structure. Starting from the 1-sum construction (also known as ordinal sum for residuated structures), where algebras that intersect only in the top element are glued together, we first consider the gluing on a congruence filter, and then add a lattice ideal as well. We characterize such constructions in terms of (possibly partial) operators acting on (possibly partial) residuated structures. As particular examples of gluing constructions, we obtain the non-commutative version of some rotation constructions, and an interesting variety of semilinear residuated lattices that are 2-potent. This study also serves as a first attempt toward the study of amalgamation of non-commutative residuated lattices, by constructing an amalgam in the special case where the common subalgebra in the V-formation is either a special (congruence) filter or the union of a filter and an ideal.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
Data Availability
Data sharing not applicable to this article as no datasets were generated or analyzed during the current study.
References
Aglianò, P., Montagna, F.: Varieties of BL-algebras I: General Properties. J. Pure Appl. Algebra 181, 105–129 (2003)
Aguzzoli, S., Flaminio, T., Ugolini, S.: Equivalences between subcategories of MTL-algebras via Boolean algebras and prelinear semihoops. J. Log. Comput. 27(8), 2525–2549 (2017)
Aglianò, P., Ugolini, S.: MTL-Algebras as rotations of basic hoops. J. Log. Comput. 29(5), 763–784 (2019)
Blount, K., Tsinakis, C.: The structure of residuated lattices. Int. J. Algebra Comput. 13, 437–461 (2003)
Blok, W., Pigozzi, D.: Algebraizable logics. Mem. Amer. Math. Soc. 77(396), 1–78 (1989)
Burris, S., Sankappanavar, H.P.: A Course in Universal Algebra. Springer-Velag, New York (1981)
Busaniche, M., Marcos, M., Ugolini, S.: Representation by triples of algebras with an MV-retract. Fuzzy Set. Syst. 369, 82–102 (2019)
Clifford, A.H.: Naturally totally ordered commutative semigroups. Amer. J. Math. 76, 631–646 (1954)
Cignoli, R., Torrens, A.: free algebras in varieties of Glivenko MTL-algebras satisfying the equation 2(x2) = (2x)2. Stud. Log. 83, 157–181 (2006)
Esteva, F., Godo, L.: Monoidal T-norm based logic: towards a logic for left-continuous T-norms. Fuzzy Set. Syst. 124, 271–288 (2001)
Ferreirim, I.M.A.: On Varieties and Quasi Varieties of Hoops and Their Reduct, PhD thesis, University of Illinois at Chicago (1992)
Fussner, W., Metcalfe, G.: Transfer theorems for finitely subdirectly irreducible algebras. https://arxiv.org/pdf/2205.05148.pdf (2022)
Galatos, N.: Equational bases for joins of residuated-lattice varieties. Stud. Logica. 76(2), 227–240 (2004)
Galatos, N.: Minimal varieties of residuated lattices. Algebra Universalis 52(2), 215–239 (2005)
Galatos, N., Castaño, D.: Skew rotations of residuated structures (in progress)
Galatos, N., Jipsen, P., Kowalski, T., Ono, H.: Residuated Lattices: an algebraic glimpse at substructural logics, Studies in Logics and the Foundations of Mathematics Elsevier (2007)
Galatos, N., Raftery, J.: Adding involution to residuated structures. Stud. Logica. 77(2), 181–207 (2004)
Hájek, P.: Metamathematics of Fuzzy Logic. Kluwer academic publisher, Dordrecht the Netherlands (1998)
Hall, M., Dilworth, R.P.: The embedding problem for modular lattices. Annals of Math. 45, 450–456 (1944)
Jenei, S.: Structure of left-continuous triangular norms with strong induced negations (I) Rotation construction. J. Appl. Non-Class. Log. 10(1), 83–92 (2000)
Jenei, S.: On the structure of rotation-invariant semigroups. Arch. Math. Log. 42(5), 489–514 (2003)
Jipsen, P., Montagna, F.: The Blok–Ferreirim theorem for normal GBL-algebras and its application. Algebra Univers. 60, 381–404 (2009)
Metcalfe, G., Montagna, F., Tsinakis, C.: Amalgamation and interpolation in ordered algebras. J. Algebra 402, 21–82 (2014)
Olson, J.S.: Free representable idempotent commutative residuated lattices. Int. J. Algebra 18(08), 1365–1394 (2008)
Olson, J. S.: The subvariety lattice for representable idempotent commutative residuated lattices. Algebra Univers. 67(1), 43–58 (2012)
Troelstra, A.S.: On intermediate propositional logics. Indag. Math. 27, 141–152 (1965)
Wroński, A.: Remarks on intermediate logics with axioms containing only one variable. Rep. Math. Log. 2, 63–76 (1974)
Wroński, A.: Reflections and distensions of BCK-algebras. Math. Jpn. 28, 215–225 (1983)
Funding
This work has received funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement No 890616 awarded to Ugolini.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Galatos, N., Ugolini, S. Gluing Residuated Lattices. Order 40, 623–664 (2023). https://doi.org/10.1007/s11083-023-09626-w
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11083-023-09626-w