In this paper we investigate the finite model property (FMP) for varieties of BL-algebras. In particular, we provide a full classification of the FMP for those varieties of BL-algebras which are generated by a finite class of chains with finitely-many components.

Finite Model Property and Varieties of BL-Algebras / S. Aguzzoli, M. Bianchi (STUDIES IN COMPUTATIONAL INTELLIGENCE). - In: Computational Intelligence and Mathematics for Tackling Complex Problems 3 / [a cura di] I.Á. Harmati, L.T. Kóczy, J. Medina, E. Ramírez-Poussa. - Prima edizione. - [s.l] : Springer, 2022. - ISBN 978-3-030-74969-9. - pp. 23-30 (( convegno European Symposium on Computational Intelligence and Mathematics tenutosi a Budapest nel 2021 [10.1007/978-3-030-74970-5_4].

Finite Model Property and Varieties of BL-Algebras

S. Aguzzoli
Primo
;
2022

Abstract

In this paper we investigate the finite model property (FMP) for varieties of BL-algebras. In particular, we provide a full classification of the FMP for those varieties of BL-algebras which are generated by a finite class of chains with finitely-many components.
BL-algebras; Hoops; Finite model property; Lattices of varieties
Settore INF/01 - Informatica
Settore MAT/01 - Logica Matematica
Book Part (author)
File in questo prodotto:
File Dimensione Formato  
bozze.pdf

embargo fino al 28/02/2023

Tipologia: Post-print, accepted manuscript ecc. (versione accettata dall'editore)
Dimensione 326.52 kB
Formato Adobe PDF
326.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/899212
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact