Amalgamation for certain conic idempotent residuated lattices

Abstract: Residuated lattices were introduced by Ward and Dilworth as tools in the study of ideal lattices of rings. Residuated lattices have a monoid and a lattice reduct, as well as division-like operations; examples include Boolean algebras, lattice-ordered groups and relation algebras. Also, they form algebraic semantics for substructural logics and are connected to mathematical linguistics and computer science (for example pointer management and memory allocation). We focus on a class of residuated lattices that have an idempotent multiplication and all elements are comparable to the monoid identity; these are related to algebraic models of relevance logic. After establishing a decomposition result for this class, we show that it has the strong amalgamation property, and extend the result to the variety generated by this class; this implies that the corresponding logic has the interpolation property and Beth definability.

computational complexitycategory theorylogic

Audience: researchers in the topic

PALS Panglobal Algebra and Logic Seminar

Series comments: The PALS seminar is a research and learning seminar organized by the algebra and logic research group of the Department of Mathematics at the University of Colorado at Boulder. The scope of the seminar includes all topics with links to algebra, logic, or their applications, like general algebra, logic, model theory, category theory, set theory, set-theoretic topology, or theoretical computer science. Please contact one of the organizers for the Zoom password, to join the mailing list or if you want to speak.