Cover Image

Residuated lattices do not have the amalgamation property

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Jipsen, Peter, Santschi, Simon
Format:	Preprint
Published:	2025
Subjects:	Rings and Algebras Logic 06F05, 03G25, 03B47
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Interpolation in Hájek's Basic Logic
by: Fussner, Wesley, et al.
Published: (2024)

Amalgamation in Semilinear Residuated Lattices
by: Fussner, Wesley, et al.
Published: (2024)

Representability for distributive quasi relation algebras via nested sums
by: Craig, Andrew, et al.
Published: (2025)

Representable distributive quasi relation algebras
by: Craig, Andrew, et al.
Published: (2023)

Interpolation and the Exchange Rule
by: Fussner, Wesley, et al.
Published: (2023)

Axiomatizing small varieties of periodic l-pregroups
by: Galatos, Nikolaos, et al.
Published: (2025)

The logic of bunched implications is undecidable
by: Galatos, Nick, et al.
Published: (2026)

Varieties defined by linear equations have the amalgamation property
by: Lipparini, Paolo
Published: (2021)

An introduction to Lorenzen's "Algebraic and logistic investigations on free lattices" (1951)
by: Coquand, Thierry, et al.
Published: (2017)

Ivanova contact join-semilattices are not finitely axiomatizable
by: Lipparini, Paolo
Published: (2023)

Diamonds and Dominoes: Impossibility Results for Associative Modal Logics
by: Knudstorp, Søren Brinck
Published: (2025)

Hypercontact semilattices
by: Lipparini, Paolo
Published: (2023)

Locally Integral Involutive PO-Semigroups
by: Gil-Férez, José, et al.
Published: (2023)

Commuting degree for BCK-algebras
by: Evans, C. Matthew
Published: (2025)

Definability of band structures on posets
by: Kuperman, Joel, et al.
Published: (2024)

Kripke-like models of Set Theory in Modal Residuated Logic
by: Moncayo, Jose, et al.
Published: (2024)

Possibility Semantics
by: Holliday, Wesley H.
Published: (2024)

Algorithmic correspondence and analytic rules
by: De Domenico, Andrea, et al.
Published: (2022)

The fork and its role in unification of closure algebras
by: Düntsch, Ivo, et al.
Published: (2023)

A categorical equivalence for monadic algebras of first-order substructural logics motivated by Kalman's construction
by: Wang, Juntao, et al.
Published: (2026)

L-algebras and their ideals: from simplicity to semidirect products
by: Properzi, Silvia, et al.
Published: (2025)

Blockwise Gluings And Amalgamation Failures in Integral Residuated Lattices
by: Giustarini, Valeria, et al.
Published: (2024)

Coherence for logicians
by: Petric, Zoran, et al.
Published: (2024)

Quantales carrying ortholattice structure
by: Botur, Michal, et al.
Published: (2026)

The prime spectrum of an $L$-algebra
by: Rump, W., et al.
Published: (2022)

Assume-guarantee contract algebras are dp-algebras
by: Castiglioni, Jose Luis, et al.
Published: (2024)

The bottom of the lattice of BCK-varieties
by: Kowalski, Tomasz
Published: (2024)

Quantitative Linear Logic
by: Capucci, Matteo, et al.
Published: (2026)

Complexities of Well-Quasi-Ordered Substructural Logics
by: Galatos, Nikolaos, et al.
Published: (2025)

Decidability for the theory of modules over a Prüfer domain
by: Gregory, Lorna
Published: (2021)

A Cut-Free Sequent Calculus for the Analysis of Finite-Trace Properties in Concurrent Systems
by: Fusco, Ludovico, et al.
Published: (2025)

When Bi-interpretability implies Synonymy
by: Friedman, Harvey M., et al.
Published: (2025)

Linear Orders in Presburger Arithmetic
by: Pakhomov, Fedor, et al.
Published: (2022)

On the equational theory of finite modular lattices
by: Herrmann, Christian
Published: (2024)

Maehara Interpolation in Extensions of R-mingle
by: Fussner, Wesley, et al.
Published: (2025)

Amalgamation in classes of involutive commutative residuated lattices
by: Jenei, Sándor
Published: (2020)

An explicit Kuznetsov-Muravitsky enrichment
by: Jibladze, Mamuka, et al.
Published: (2024)

Semilinear idempotent distributive l-monoids
by: Santschi, Simon
Published: (2022)

Normal forms and representable functions in Moisil logic
by: Sipos, Andrei
Published: (2023)

Undecidability in Relevant Logic
by: Knudstorp, Søren Brinck
Published: (2026)