BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Matteo Bianchi
DTSTART:20210129T170000Z
DTEND:20210129T190000Z
DTSTAMP:20260423T021226Z
UID:NCLogic/4
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/NCLogic/4/">
 Strictly join irreducible varieties of BL-algebras</a>\nby Matteo Bianchi 
 as part of Nonclassical Logic Webinar\n\n\nAbstract\nBasic Logic BL\, intr
 oduced by P. Hajek in 1998\, is the logic of all continuous t-norms and th
 eir residua. The variety of BL-algebras forms the algebraic semantics of B
 L.\nLet V be a variety of BL-algebras\, and let L(V) be its lattice of sub
 varieties\, ordered by inclusion.\nV is called strictly join irreducible (
 SJI) if\, whenever V is the join of a non-empty set S of varieties of BL-a
 lgebras\, then V belongs to S.\nEvery variety in L(V) is obtained as join 
 of SJI varieties\, which may be considered as the building blocks of all t
 he varieties in L(V). In this talk I will present the results of a recent 
 joint work with Stefano Aguzzoli\, where we provided a full classification
  of the SJI varieties of BL-algebras.\n
LOCATION:https://researchseminars.org/talk/NCLogic/4/
END:VEVENT
END:VCALENDAR