Tabular logics have been studied since the sixties, while the notion of pretabular (PT) variety was firstly introduced in the seventies by A.V. Kuznetsov and L. Maksimova, for Heyting algebras. A variety is tabular whenever it is generated by one finite algebra. A variety L is PT whenever L is not tabular but every variety M  L is tabular. In this paper we study the same notion for the case of MTL-algebras. We show that a variety of MTL-algebras is PT if and only if it is generated by each of its infinite chains, and we study some general properties of PT varieties of MTL-algebras. Also, we provide a full classification of tabular and PT varieties of BL and WNM-algebras.
Tabular and Pretabular Varieties of MTL-Algebras / S. Aguzzoli, M. Bianchi (LECTURE NOTES IN COMPUTER SCIENCE). - In: Relational and Algebraic Methods in Computer Science / [a cura di] U. Fahrenberg, W. Fussner, R. Glück. - [s.l] : Springer, 2024 Aug. - ISBN 9783031682780. - pp. 1-18 (( Intervento presentato al 21. convegno RAMICS tenutosi a Prague nel 2024 [10.1007/978-3-031-68279-7_1].
Tabular and Pretabular Varieties of MTL-Algebras
S. Aguzzoli
;M. Bianchi
2024
Abstract
Tabular logics have been studied since the sixties, while the notion of pretabular (PT) variety was firstly introduced in the seventies by A.V. Kuznetsov and L. Maksimova, for Heyting algebras. A variety is tabular whenever it is generated by one finite algebra. A variety L is PT whenever L is not tabular but every variety M L is tabular. In this paper we study the same notion for the case of MTL-algebras. We show that a variety of MTL-algebras is PT if and only if it is generated by each of its infinite chains, and we study some general properties of PT varieties of MTL-algebras. Also, we provide a full classification of tabular and PT varieties of BL and WNM-algebras.File | Dimensione | Formato | |
---|---|---|---|
978-3-031-68279-7_1.pdf
accesso riservato
Tipologia:
Publisher's version/PDF
Dimensione
323.07 kB
Formato
Adobe PDF
|
323.07 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.