BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Walter Carnielli (University of Campinas)
DTSTART:20210430T160000Z
DTEND:20210430T180000Z
DTSTAMP:20260423T052953Z
UID:NCLogic/16
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/NCLogic/16/"
 >Paraconsistent Possibilistic Logics</a>\nby Walter Carnielli (University 
 of Campinas) as part of Nonclassical Logic Webinar\n\n\nAbstract\nI intend
  to  explain  the  possibility and necessity models  based\non theLogics o
 f Formal Inconsistency (LFI's)\, which  we call `credal\ncalculi'\, taking
   advantage of  their expressivity in terms of the\nnotions of consistency
  and inconsistency.  Some basic  properties of\npossibility and necessity\
 nfunctions over  LFI's  are  provided.  A nice aspect of this talk is\nhow
  logic can  be connected  to the  treatment  of information\, and I\ndiscu
 ss some examples showing how such logics\nattain realistic  models  for  a
 rtificial judgement.  This is a joint\nwork with Juliana Bueno-Soler.\n\nR
 eference:\n\nW. A.  Carnielli  and J. Bueno-Soler.  Credal Calculi\, Evide
 nce\, and\nConsistency.  Outstanding  Contributions to Logic\, edited by O
 . Arieli\nand A. Zamansky\, Springer\, 2021\, in print.\n
LOCATION:https://researchseminars.org/talk/NCLogic/16/
END:VEVENT
END:VCALENDAR