BEGIN:VCALENDAR VERSION:2.0 PRODID:researchseminars.org CALSCALE:GREGORIAN X-WR-CALNAME:researchseminars.org BEGIN:VEVENT SUMMARY:Nick Galatos (University of Denver) DTSTART:20210406T190000Z DTEND:20210406T200000Z DTSTAMP:20260423T021725Z UID:PALS/9 DESCRIPTION:Title: Ama lgamation for certain conic idempotent residuated lattices\nby Nick Ga latos (University of Denver) as part of PALS Panglobal Algebra and Logic S eminar\n\n\nAbstract\nResiduated lattices were introduced by Ward and Dilw orth 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 an d are connected to mathematical linguistics and computer science (for exam ple pointer management and memory allocation). We focus on a class of resi duated lattices that have an idempotent multiplication and all elements ar e comparable to the monoid identity\; these are related to algebraic model s of relevance logic. After establishing a decomposition result for this c lass\, we show that it has the strong amalgamation property\, and extend t he result to the variety generated by this class\; this implies that the c orresponding logic has the interpolation property and Beth definability.\n LOCATION:https://researchseminars.org/talk/PALS/9/ END:VEVENT END:VCALENDAR