Gluing residuated lattices
From MaRDI portal
Publication:6139862
DOI10.1007/S11083-023-09626-WarXiv2306.00109MaRDI QIDQ6139862FDOQ6139862
Authors: Nikolaos Galatos, Sara Ugolini 
Publication date: 19 December 2023
Published in: Order (Search for Journal in Brave)
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.
Full work available at URL: https://arxiv.org/abs/2306.00109
Cites Work
- Metamathematics of fuzzy logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- Title not available (Why is that?)
- Residuated lattices. An algebraic glimpse at substructural logics
- On the structure of rotation-invariant semigroups
- Adding involution to residuated structures
- Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\)
- THE STRUCTURE OF RESIDUATED LATTICES
- Title not available (Why is that?)
- Algebraizable logics
- Structure of left-continuous triangular norms with strong induced negations (I) Rotation construction
- Naturally Totally Ordered Commutative Semigroups
- Varieties of BL-algebras. I: General properties.
- Amalgamation and interpolation in ordered algebras.
- Equational bases for joins of residuated-lattice varieties
- Minimal varieties of residuated lattices
- Title not available (Why is that?)
- FREE REPRESENTABLE IDEMPOTENT COMMUTATIVE RESIDUATED LATTICES
- The Blok-Ferreirim theorem for normal GBL-algebras and its application
- The subvariety lattice for representable idempotent commutative residuated lattices
- The imbedding problem for modular lattices
- Representation by triples of algebras with an MV-retract
- MTL-algebras as rotations of basic hoops
- Equivalences between subcategories of MTL-algebras via Boolean algebras and prelinear semihoops
- Title not available (Why is that?)
Cited In (2)
This page was built for publication: Gluing residuated lattices
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6139862)
