IRIS Institutional Research Information System - AIR Archivio Istituzionale della Ricerca

IRIS è il sistema di gestione integrata dei dati della ricerca (persone, progetti, pubblicazioni, attività) adottato dall'Università degli Studi di Milano.

AIR nasce in UNIMI nel 2006 con lo scopo di raccogliere, documentare e conservare le informazioni sulla produzione scientifica dell'Università degli Studi di Milano e costituisce di fatto l'Anagrafe della ricerca dell'Ateneo.

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.

Powered by IRIS-about IRIS-Utilizzo dei cookie

 Copyright © 2021