BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Michele Pra Baldi (University of Cagliari)
DTSTART:20210305T170000Z
DTEND:20210305T190000Z
DTSTAMP:20260423T021216Z
UID:NCLogic/9
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/NCLogic/9/">
 On a logico-algebraic approach to AGM belief contraction theory</a>\nby Mi
 chele Pra Baldi (University of Cagliari) as part of Nonclassical Logic Web
 inar\n\n\nAbstract\nIn this seminar we investigate AGM belief contraction 
 operators by using the tools of algebraic logic. We generalize the notion 
 of contraction to arbitrary finitary propositional logics\, and we show ho
 w to switch from a syntactic-based approach to a semantic one. This allows
  to build a solid bridge between the validity of AGM postulates in a propo
 sitional logic and specific algebraic properties of its intended algebraic
  counterpart. Some applications to substructural logics are provided.\n(j.
 w.w. Davide Fazio)\n
LOCATION:https://researchseminars.org/talk/NCLogic/9/
END:VEVENT
END:VCALENDAR