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.

On linear varieties of MTL-algebras

S. Aguzzoli
Primo
;
M. Bianchi
Ultimo
2019-04

Abstract

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.
Almost minimal varieties; Lattices of varieties; Linear varieties; MTL-algebras; Single-chain completeness; Software; Theoretical Computer Science; Geometry and Topology
Settore MAT/01 - Logica Matematica
Settore INF/01 - Informatica
Settore MAT/02 - Algebra
2018
Article (author)
File in questo prodotto:
File Dimensione Formato  
Aguzzoli-Bianchi2019_Article_OnLinearVarietiesOfMTL-algebra.pdf

accesso riservato

Tipologia: Publisher's version/PDF
Dimensione 627.52 kB
Formato Adobe PDF
627.52 kB Adobe PDF   Visualizza/Apri   Richiedi una copia
Pubblicazioni consigliate

Caricamento pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/2434/634276
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 4
  • ???jsp.display-item.citation.isi??? 4
social impact