BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Manuela Busaniche (CCT CONICET Santa Fe)
DTSTART:20200730T180000Z
DTEND:20200730T190000Z
DTSTAMP:20260423T035751Z
UID:OLS/16
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/OLS/16/">Res
 iduated Lattices: algebraic constructions related to substructural logics<
 /a>\nby Manuela Busaniche (CCT CONICET Santa Fe) as part of Online logic s
 eminar\n\n\nAbstract\nSubstructural logics are logics that\, when they are
  formulated in a Gentzen style system\, they lack some of the structural r
 ules: contraction\, weakening or exchange.The importance of the theory of 
 substructural logics relies on the fact that they provide a common framewo
 rk where different logical systems can be compared. They include intuition
 istic logic\, fuzzy logics\, relevance logics\, linear logic\, many-valued
  logics and others.\n\nTheir algebraic semantics are based on residuated l
 attices. The class of these ordered algebraic structures is quite big and 
 hard to study\, but it contains some proper subclasses that are well-known
  such as Boolean algebras\, Heyting algebras\, MV-algebras. In this talk w
 e will see different constructions of new residuated lattices based on bet
 ter-known algebras.\n
LOCATION:https://researchseminars.org/talk/OLS/16/
END:VEVENT
END:VCALENDAR