Abstract
In this paper, we focus on those varieties of MTL-algebras whose lattice of subvarieties is totally ordered. Such varieties are called linear. We show that a variety \({{\mathbb {L}}}\) of MTL-algebras is linear if and only if each of its subvarieties is generated by one chain. We also study the order type of their lattices of subvarieties, and the structure of their generic chains. If \({\mathbb {L}}\) is a linear variety with the finite model property, we have that the class of chains in \({\mathbb {L}}\) is formed by either bipartite or simple chains. As a further result, we provide a complete classification of the linear varieties of BL-algebras. The more general case of MTL-algebras is out of reach, but nevertheless we classify all the linear varieties of WNM-algebras.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
Notes
Usually \({\mathrm{Rad}}({\mathcal {A}})\) is defined as the intersection of all the maximal proper filters of \({\mathcal {A}}\). Since we work only on MTL-chains, the two definitions are equivalent.
References
Aglianò P, Montagna F (2003) Varieties of BL-algebras I: general properties. J Pure Appl Algebra 181(2–3):105–129. https://doi.org/10.1016/S0022-4049(02)00329-8
Aglianò P, Ferreirim I, Montagna F (2007) Basic hoops: an algebraic study of continuous \(t\)-norms. Studia Logica 87:73–98. https://doi.org/10.1007/s11225-007-9078-1
Aguzzoli S, Bianchi M (2016) Single chain completeness and some related properties. Fuzzy Sets Syst. https://doi.org/10.1016/j.fss.2016.03.008
Aguzzoli S, Bianchi M (2017) Minimally many-valued extensions of the monoidal t-norm based logic MTL. In: Petrosino A, Loia V, Pedrycz W (eds) Fuzzy logic and soft computing applications: 11th international workshop, WILF 2016, Naples, Italy, December 19–21, 2016, Revised Selected Papers, pp 106–115. Springer International Publishing. https://doi.org/10.1007/978-3-319-52962-2_9
Aguzzoli S, Bianchi M, Valota D (2014) A note on Drastic Product logic. In: Information processing and management of uncertainty, communications in computer and information science, vol 443, pp 365–374, Springer. arXiv:1406.7166
Bianchi M (2012) The variety generated by all the ordinal sums of perfect MV-chains. Studia Logica 101(1):11–29. https://doi.org/10.1007/s11225-012-9371-5
Bianchi M (2015) The logic of the strongest and the weakest t-norms. Fuzzy Sets Syst 276:31–42. https://doi.org/10.1016/j.fss.2015.01.013
Bianchi M (2018) Strictly join irreducible elements in the lattice of varieties of BL-algebras. In: 2017 IEEE symposium series on computational intelligence (SSCI) proceedings. IEEE. https://doi.org/10.1109/SSCI.2017.8285361
Bianchi M, Montagna F (2009) Supersound many-valued logics and Dedekind–MacNeille completions. Arch Math Log 48(8):719–736. https://doi.org/10.1007/s00153-009-0145-3
Bianchi M, Montagna F (2011) \(n\)-contractive BL-logics. Arch Math Log 50(3–4):257–285. https://doi.org/10.1007/s00153-010-0213-8
Blok WJ, Ferreirim IMA (2000) On the structure of hoops. Algebra Univ 43(2–3):233–257. https://doi.org/10.1007/s000120050156
Blok W, Pigozzi D (1989) Algebraizable logics, memoirs of the American Mathematical Society, vol 77. American Mathematical Society. http://tinyurl.com/o89ug5o
Burris S, Sankappanavar H (1981) A course in universal algebra, vol 78. Springer. 2012 electronic edition: http://tinyurl.com/zaxeopo
Cignoli R, Torrens A (2006) Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^2)=(2x)^2\). Stud Log 83(1):157–181. https://doi.org/10.1007/s11225-006-8302-8
Cignoli R, D’Ottaviano I, Mundici D (1999) Algebraic foundations of many-valued reasoning, trends in logic, vol 7. Kluwer Academic Publishers, Dordrecht
Cignoli R, Esteva F, Godo L, Torrens A (2000) Basic Fuzzy Logic is the logic of continuous t-norms and their residua. Soft Comput 4(2):106–112. https://doi.org/10.1007/s005000000044
Cintula P, Esteva F, Gispert J, Godo L, Montagna F, Noguera C (2009) Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies. Ann Pure Appl Log 160(1):53–81. https://doi.org/10.1016/j.apal.2009.01.012
Cintula P, Hájek P, Noguera C (2011) Handbook of mathematical fuzzy logic, vol 1 and 2. College Publications, London
Esteva F, Godo L (2001) Monoidal t-norm based logic: towards a logic for left-continuous t-norms. Fuzzy Sets Syst 124(3):271–288. https://doi.org/10.1016/S0165-0114(01)00098-7
Esteva F, Godo L, Hájek P, Montagna F (2003) Hoops and fuzzy logic. J Log Comput 13(4):532–555. https://doi.org/10.1093/logcom/13.4.532
Galatos N, Jipsen P, Kowalski T, Ono H (2007) Residuated lattices: an algebraic glimpse at substructural logics, studies in logic and the foundations of mathematics, vol 151. Elsevier, Amsterdam
Gispert J (2003) Axiomatic extensions of the nilpotent minimum logic. Rep Math Log 37: 113–123. http://tinyurl.com/nqsle2f
Grigolia R (1977) Algebraic analysis of Łukasiewicz–Tarski n-valued logical systems. In: Selected papers on Łukasiewicz sentencial calculi, pp 81–91. Polish Academy of Science, Ossolineum
Hájek P (1998) Metamathematics of fuzzy logic, trends in logic, vol 4, paperback edn. Kluwer Academic Publishers
Hecht T, Katriňák T (1972) Equational classes of relative Stone algebras. Notre Dame J Form Log 13(2):248–254. https://doi.org/10.1305/ndjfl/1093894723
Jenei S, Montagna F (2002) A proof of standard completeness for Esteva and Godo’s logic MTL. Stud Log 70(2):183–192. https://doi.org/10.1023/A:1015122331293
Katoh Y, Kowalski T, Ueda M (2006) Almost minimal varieties related to fuzzy logic. Rep Math Log pp 173–194. http://tinyurl.com/h8sc6j3
Montagna F (2011) Completeness with respect to a chain and universal models in fuzzy logic. Arch Math Log 50(1–2):161–183. https://doi.org/10.1007/s00153-010-0207-6
Noguera C (2006) Algebraic study of axiomatic extensions of triangular norm based fuzzy logics. Ph.D. thesis, IIIA-CSIC
Noguera C, Esteva F, Gispert J (2005) On some varieties of MTL-algebras. Log J IGPL 13(4):443–466. https://doi.org/10.1093/jigpal/jzi034
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
All authors declare that they have no conflict of interest.
Ethical approval
This article does not contain any studies with human participants or animals performed by any of the authors.
Additional information
Communicated by C. Noguera.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Aguzzoli, S., Bianchi, M. On linear varieties of MTL-algebras. Soft Comput 23, 2129–2146 (2019). https://doi.org/10.1007/s00500-018-3423-3
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00500-018-3423-3