On linear varieties of MTL-algebras

Abstract: A variety of MTL-algebras is called linear whenever its lattice of subvarieties, ordered by inclusion, is linearly ordered. In this talk we will describe some properties of the linear varieties of MTL-algebras, and we will provide a full classification of the linear varieties of BL-algebras and WNM-algebras. We will also discuss some additional topics and open problems.

logic

Audience: researchers in the topic

Nonclassical Logic Webinar