Cover Image

Amalgamation in Semilinear Residuated Lattices

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Fussner, Wesley, Santschi, Simon
Format:	Preprint
Published:	2024
Subjects:	Rings and Algebras Logic 06F05 (primary), 06F15. 03G25 (secondary)
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)

Residuated lattices do not have the amalgamation property
by: Jipsen, Peter, et al.
Published: (2025)

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

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

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

A factorisation theory for generalised power series and omnific integers
by: L'Innocente, Sonia, et al.
Published: (2017)

On the problem of generalized measures: an impossibility result
by: Agostini, Claudio, et al.
Published: (2026)

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

Partitions of primitive Boolean spaces
by: Apps, Andrew B.
Published: (2023)

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

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)

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

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

Know Your Rank!
by: Boissonneau, Blaise, et al.
Published: (2025)

Automatic structures and the problem of natural well-orderings
by: Beklemishev, Lev D., et al.
Published: (2024)

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

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

Relative consistency of Set Matrix Theory with ZF
by: Cabbolet, Marcoen J. T. F.
Published: (2024)

Equational theories of idempotent semifields
by: Metcalfe, George, et al.
Published: (2024)

On $\mathscr{T}$-based orthomodular dynamic algebras
by: Paseka, Jan, et al.
Published: (2026)

A Classifying Topos for the Spectrum of Equivalences
by: Oggad, Kenan
Published: (2026)

Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics
by: Holliday, Wesley H.
Published: (2022)

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

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

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

Varieties of MV-monoids and positive MV-algebras
by: Abbadini, Marco, et al.
Published: (2024)

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

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

Positivity preservers over finite fields
by: Guillot, Dominique, et al.
Published: (2024)

Algebraic Proof Theory for Infinitary Action Logic
by: Fussner, Wesley, et al.
Published: (2025)

The class of Aronszajn lines under epimorphisms
by: Polymeris, Lucas, et al.
Published: (2025)

Maximal order types for sequences with gap condition
by: Uftring, Patrick
Published: (2025)

Preconditionals
by: Holliday, Wesley H.
Published: (2024)

An Optimal 14-Symbol Hybrid Basis for BCH-Algebras
by: Ramani, Mahesh, et al.
Published: (2026)

Mixed Moments of the Riemann Zeta and Dirichlet $L$-Functions
by: Kaneko, Ikuya
Published: (2021)

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

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

Filters on a countable vector space
by: Smythe, Iian B.
Published: (2021)

Projectable reduced $f$-rings admitting elimination of quantifiers
by: Guier, Jorge I.
Published: (2026)