BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Valeria Giustarini (Consejo Superior de Investigaciones Cientifíc
 as)
DTSTART:20261022T180000Z
DTEND:20261022T190000Z
DTSTAMP:20261025T112100Z
UID:OLS/215
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/OLS/215/">Wh
 en Logic meets Algebra: interpolation in Substructural Logics</a>\nby Vale
 ria Giustarini (Consejo Superior de Investigaciones Cientifícas) as part 
 of Online logic seminar\n\n\nAbstract\nSubstructural logics form a broad f
 amily of non-classical logics that includes many-valued\, intuitionistic\,
  paraconsistent\, and relevance logics just to name a few. These systems a
 re designed to model reasoning in different settings\, such as those invol
 ving incomplete\, partial\, or inconsistent information.\n\n The algebraic
  framework for the study of these logics is the class residuated lattices\
 , highlighting how algebraic methods provide powerful tools for investigat
 ing their logical properties. In particular\, we will focus on the interpo
 lation property\, exploring its algebraic counterpart\, the amalgamation p
 roperty\, and discussing how algebraic techniques can be used to study it.
  In particular\, we will show that the monoidal t-norm based logic\, MTL f
 or short\, introduced by Esteva and Godo fails to have the interpolation p
 roperty.\n
LOCATION:https://researchseminars.org/talk/OLS/215/
END:VEVENT
END:VCALENDAR