In this paper, we focus on those varieties of MTL-algebras whose lattice of subvarieties is totally ordered. Such varieties are called linear. We show that a variety L of MTL-algebras is linear if and only if each of its subvarieties is generated by one chain. We also study the order type of their lattices of subvarieties, and the structure of their generic chains. If L is a linear variety with the finite model property, we have that the class of chains in L is formed by either bipartite or simple chains. As a further result, we provide a complete classification of the linear varieties of BL-algebras. The more general case of MTL-algebras is out of reach, but nevertheless we classify all the linear varieties of WNM-algebras.
On linear varieties of MTL-algebras / S. Aguzzoli, M. Bianchi. - In: SOFT COMPUTING. - ISSN 1432-7643. - 23:7(2019 Apr), pp. 2129-2146.
Titolo: | On linear varieties of MTL-algebras |
Autori: | AGUZZOLI, STEFANO (Primo) BIANCHI, MATTEO (Ultimo) (Corresponding) |
Parole Chiave: | Almost minimal varieties; Lattices of varieties; Linear varieties; MTL-algebras; Single-chain completeness; Software; Theoretical Computer Science; Geometry and Topology |
Settore Scientifico Disciplinare: | Settore MAT/01 - Logica Matematica Settore INF/01 - Informatica Settore MAT/02 - Algebra |
Data di pubblicazione: | apr-2019 |
Rivista: | |
Tipologia: | Article (author) |
Data ahead of print / Data di stampa: | 2018 |
Digital Object Identifier (DOI): | http://dx.doi.org/10.1007/s00500-018-3423-3 |
Appare nelle tipologie: | 01 - Articolo su periodico |
File in questo prodotto:
File | Descrizione | Tipologia | Licenza | |
---|---|---|---|---|
Aguzzoli-Bianchi2019_Article_OnLinearVarietiesOfMTL-algebra.pdf | Publisher's version/PDF | Administrator Richiedi una copia |