BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Tommaso Flaminio (IIIA-CSIC)
DTSTART:20210122T170000Z
DTEND:20210122T190000Z
DTSTAMP:20260423T021233Z
UID:NCLogic/3
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/NCLogic/3/">
 Probability logic on many-valued events: standard completeness and (a kind
  of) algebraic semantics</a>\nby Tommaso Flaminio (IIIA-CSIC) as part of N
 onclassical Logic Webinar\n\n\nAbstract\nProving 'standard completeness'\,
  that is completeness with respect to a class of algebras based on the rea
 l unit interval\, has been for a long time a central problem for t-norm ba
 sed (fuzzy) logics. Elaborated techniques to prove this kind of result hav
 e been developed and most of them rely on the fact that totally ordered al
 gebras can be embedded\, or just partially embedded\, into standard struct
 ures. However\, when we move from t-norm based logics to probabilistic mod
 al logics based on them\, these methods are no longer applicable and it is
  necessary to consider new ideas to prove standard completeness. In this s
 eminar\, besides clarifying what ’standard completeness’ means in the 
 probabilistic setting\, we will present the logic FP(L\, L)\, a formalisms
  that allows to reason about probabilistic statements on events represente
 d as formulas of Lukasiewicz logic\, and we prove it to be standard comple
 te. Further elaborating on the standard completeness for FP(L\, L) we will
  also present results from an ongoing research line that allow to regard a
  peculiar class of projective MV-algebras as a semantics for that probabil
 ity logic.\n
LOCATION:https://researchseminars.org/talk/NCLogic/3/
END:VEVENT
END:VCALENDAR