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. AguzzoliPrimo
;M. Bianchi
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.
| File | Dimensione | Formato | |
|---|---|---|---|
|
bozze.pdf
Open Access dal 01/03/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 |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
