Gluing residuated lattices
From MaRDI portal
Publication:6139862
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.
Cites work
- scientific article; zbMATH DE number 3819797 (Why is no real title available?)
- scientific article; zbMATH DE number 3751028 (Why is no real title available?)
- scientific article; zbMATH DE number 3487418 (Why is no real title available?)
- scientific article; zbMATH DE number 3230245 (Why is no real title available?)
- Adding involution to residuated structures
- Algebraizable logics
- Amalgamation and interpolation in ordered algebras.
- Equational bases for joins of residuated-lattice varieties
- Equivalences between subcategories of MTL-algebras via Boolean algebras and prelinear semihoops
- FREE REPRESENTABLE IDEMPOTENT COMMUTATIVE RESIDUATED LATTICES
- Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\)
- MTL-algebras as rotations of basic hoops
- Metamathematics of fuzzy logic
- Minimal varieties of residuated lattices
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- Naturally Totally Ordered Commutative Semigroups
- On the structure of rotation-invariant semigroups
- Representation by triples of algebras with an MV-retract
- Residuated lattices. An algebraic glimpse at substructural logics
- Structure of left-continuous triangular norms with strong induced negations (I) Rotation construction
- THE STRUCTURE OF RESIDUATED LATTICES
- The Blok-Ferreirim theorem for normal GBL-algebras and its application
- The imbedding problem for modular lattices
- The subvariety lattice for representable idempotent commutative residuated lattices
- Varieties of BL-algebras. I: General properties.
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)
