Matteo Bianchi (Università di Milano) will give a talk on
Tabular and pretabular varieties of MTL-algebras
Abstract:
MTL-algebras are the algebraic semantics for the monoidal t-norm based logic MTL, the logic of all left continuous t-norms and their residua.
A variety L of MTL-algebras is called:
– Tabular, whenever L is generated by one finite algebra.
– Pretabular (PT), whenever each proper subvariety of L is tabular, but not L.
The notions of tabular and pretabular varieties were firstly studied by A.V. Kuznetsov and L. Maksimova, in the early 70s, for Heyting algebras.
In this talk I will present some results of two recent papers of mine (joint works with Stefano Aguzzoli).
The first part will be focused on general properties of tabular and PT varieties of MTL-algebras, as well as the full classification of PT varieties for some well-known varieties of MTL-algebras (BL and WNM-algebras).
The second part of the talk will be devoted to the tabularity problem, namely if a variety is tabular or not, by analyzing decidability and computational complexity. The notion of pretabular variety will be essential.