English

Gluing residuated lattices

Logic 2023-06-02 v1

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.

Keywords

Cite

@article{arxiv.2306.00109,
  title  = {Gluing residuated lattices},
  author = {Nick Galatos and Sara Ugolini},
  journal= {arXiv preprint arXiv:2306.00109},
  year   = {2023}
}

Comments

This is a preprint. The final version of this work appears in Order

R2 v1 2026-06-28T10:52:31.683Z