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.
MTL-algebras; BL-algebras; WNM-algebras; Tabular Varieties; Pretabular Varieties
Settore INF/01 - Informatica
Settore MAT/01 - Logica Matematica
ago-2024
Book Part (author)
File in questo prodotto:
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.

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