Strictly join irreducible varieties of BL-algebras

Matteo Bianchi

29-Jan-2021, 17:00-19:00 (3 years ago)

Abstract: Basic Logic BL, introduced by P. Hajek in 1998, is the logic of all continuous t-norms and their residua. The variety of BL-algebras forms the algebraic semantics of BL. Let V be a variety of BL-algebras, and let L(V) be its lattice of subvarieties, ordered by inclusion. V is called strictly join irreducible (SJI) if, whenever V is the join of a non-empty set S of varieties of BL-algebras, then V belongs to S. Every variety in L(V) is obtained as join of SJI varieties, which may be considered as the building blocks of all the 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.

logic

Audience: researchers in the topic


Nonclassical Logic Webinar

Organizer: Sara Ugolini*
*contact for this listing

Export talk to