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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Note that every non-trivial totally ordered cancellative hoop \(\mathcal {A}\) does not have rank, since \(\mathcal {A}/Rad(\mathcal {A})\) is an infinite cancellative hoop.
References
Aglianò, P., Ferreirim, I., Montagna, F.: Basic hoops: an algebraic study of continuous \(t\)-norms. Studia Logica 87, 73–98 (2007)
Aglianò, P., Montagna, F.: Varieties of BL-algebras I: general properties. J. Pure Appl. Algebra 181(2–3), 105–129 (2003)
Aguzzoli, S., Bianchi, M.: Strictly join irreducible varieties of BL-algebras: the missing pieces. Fuzzy Sets Syst., in press
Blok, W., Pigozzi, D.: Algebraizable Logics, Memoirs of the American Mathematical Society, vol. 77. American Mathematical Society (1989)
Burris, S., Sankappanavar, H.: A Course in Universal Algebra. Graduated Texts in Mathematics, vol. 78. Springer (1981)
Cignoli, R., D’Ottaviano, I., Mundici, D.: Algebraic Foundations of Many-Valued Reasoning, Trends in Logic, vol. 7. Kluwer Academic Publishers (1999)
Cignoli, R., Esteva, F., Godo, L., Torrens, A.: Basic Fuzzy Logic is the logic of continuous t-norms and their residua. Soft Comput. 4(2), 106–112 (2000)
Cintula, P., Esteva, F., Gispert, J., Godo, L., Montagna, F., Noguera, C.: Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies. Ann. Pure Appl. Log. 160(1), 53–81 (2009)
Cintula, P., Hájek, P., Noguera, C.: Handbook of Mathematical Fuzzy Logic, vol. 1 and 2. College Publications (2011)
Di Nola, A., Lettieri, A.: One chain generated varieties of MV-algebras. J. Alg. 225(2), 667–697 (2000)
Galatos, N., Jipsen, P., Kowalski, T., Ono, H.: Residuated Lattices: An Algebraic Glimpse at Substructural Logics. Studies in Logic and The Foundations of Mathematics, vol. 151. Elsevier (2007)
Hájek, P.: Metamathematics of Fuzzy Logic, Trends in Logic, vol. 4. Kluwer Academic Publishers(paperback edn.) (1998)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2022 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this chapter
Cite this chapter
Aguzzoli, S., Bianchi, M. (2022). Finite Model Property and Varieties of BL-Algebras. In: Harmati, I.Á., Kóczy, L.T., Medina, J., Ramírez-Poussa, E. (eds) Computational Intelligence and Mathematics for Tackling Complex Problems 3. Studies in Computational Intelligence, vol 959. Springer, Cham. https://doi.org/10.1007/978-3-030-74970-5_4
Download citation
DOI: https://doi.org/10.1007/978-3-030-74970-5_4
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-74969-9
Online ISBN: 978-3-030-74970-5
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)