Abstract
In this paper we show that the subvarieties of BL, the variety of BL-algebras, generated by single BL-chains on [0, 1], determined by continous t-norms, are finitely axiomatizable. An algorithm to check the subsethood relation between these subvarieties is provided, as well as another procedure to effectively find the equations of each subvariety. From a logical point of view, the latter corresponds to find the axiomatization of every residuated many-valued calculus defined by a continuous t-norm and its residuum. Actually, the paper proves the results for a more general class than t-norm BL-chains, the so-called regular BL-chains.
Similar content being viewed by others
References
Aglianó, P., and F. Montagna, ‘Varieties of BL-algebras I: general properties’, Journal of Pure and Applied Algebra 181 (2003), 105-129.
Aglianó, P., I. M. A. Ferreirim, and F. Montagna, ‘Basic hoops: an algebraic study of continuous t-norms’, Studia Logica, to appear.
Alsina, C., E. Trillas, and L. Valverde, ‘On some logical connectives for Fuzzy Set Theory’, Journal of Mathematical Analysis and Applications 93,1 (1983), 15-26.
Baaz, M., P. Hájek, F. Montagna, and H. Veith, ‘Complexity of t-tautologies’, Annals of Pure and Applied Logic 113,1–3 (2001), 3-11.
Balbes, R., and P. Dwinger, Distributive Lattices, University of Missouri Press, 1974.
Blok, W. J., and I. M. A. Ferreirim, ‘Hoops and their implicational reducts’, Algebraic Logic, Banach Center Publications, vol. 28, Warsaw, 1993, pp. 219-230.
Blok, W. J., and I. M. A. Ferreirim, ‘On the structure of hoops’, Algebra Universalis 43 (2000), 233-257.
Blok, W. J., and D. Pigozzi, ‘Algebraizable Logics’, Memoirs of the American Mathematical Society vol. 77, no. 396 (1989).
Burris, S., and H. P. Sankappanavar, A course in Universal Algebra, Springer Verlag, New York 1981.
Cignoli, R., F. Esteva, L. Godo, and A. Torrens, ‘Basic logic is the logic of continuous t-norms and their residua’, Soft Computing 4 (2000), 106-112.
Cignoli, R., and A. Torrens, ‘An algebraic analysis of Product Logic’, Multiple-Valued logic 5 (2000), 45-65.
Di Nola, A., ‘Representation and reticulations by quotients of MV-algebras’, Ricerche di matematica 40, Neaples (1991), 291-297.
Di Nola, A., ‘MV-algebras in the treatment of uncertainty’, in P. Löwen and E. Roubens, (eds.), Fuzzy Logic, Proceedings of the International Congress IFSA, Bruxelles 1991, Kluwer, Dordrecht, pp. 123-131.
Di Nola, A., F. Esteva, P. Garcia, L. Godo, and S. Sessa, ‘Subvarieties of BL-algebras generated by single-component chains’, Archive of Mathematical Logic 41 (2002), 673-685.
Di Nola, A., and A. Lettieri, ‘Equational Characterization of all Varieties of MV-algebras’, Journal of Algebra 221 (1999), 463-474.
Dummet, M., ‘A proposition calculus with denumerable matrix’, Journal of Symbolic Logic 24 (1959), 97-106.
Esteva, F., L. Godo, P. Hájek, and M. Navara, ‘Residuated Fuzzy Logic with an involutive negation’, Archive of Mathematical Logic 39 (2000), 103-124.
Ferreirim, I. M. A., On varieties and quasivarieties of hoops and their reducts. Ph. D. Thesis, Univ of Illinois at Chicago, 1992.
Font, J., A. J. Rodríguez, and A. Torrens, ‘Wajsberg Algebras’, Stochastica 8 (1984), 5-31.
Gottwald, S., A Traitise on Multiple-valued Logics, Studies in logic and computation, Research Studies Press, Baldock, 2001.
Hájek, P., Metamathematics of Fuzzy Logic, Kluwer, Dordrecht, 1998.
Hájek, P., ‘Basic logic and BL-algebras’, Soft Computing 2 (1998), 124-128.
Hájek, P., L. Godo, and F. Esteva, ‘A complete many-valued logic with product conjunction’, Archive of Mathematical Logic 35 (1996), 191-208.
Haniková, Z., ‘Standard algebras for fuzzy propositional calculi’, Fuzzy Sets and Systems, vol. 123, n. 3 (2001), 309-320.
Haniková, Z., ‘A note on propositional tautologies of individual continuous t-norms’, Neural Network World vol. 12, n. 5 (2002), 453-460.
Klement, P., R. Mesiar, and E. Pap, Triangular Norms, Kluwer, Dordrecht, 2000.
Komori, Y., ‘Super-Lukasiewicz propositional Logic’, Nagoya Mathematical Journal 84 (1981), 119-133.
Novák, V., I. Perfilieva, and J. Močkoř, Mathematical Principles of Fuzzy Logic, Kluwer, 1999.
Rose, A., and J. B. Roser, ‘Fragments of many-valued statement calculi’, Transaction of the A.M.S. 87 (1958), 1-53.
Schweizer, B., and A. Sklar, 'Probabilistic metric spaces, North Holland, Amsterdam, 1983
Zadeh, L.A., ‘Fuzzy Sets’, Information and Control 8 (1965), 338-353.
Zadeh, L.A., Preface in Fuzzy Logic Technology and Applications, (R. J. Marks-II Ed.), IEEE Technical Activities Board (1994).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Esteva, F., Godo, L. & Montagna, F. Equational Characterization of the Subvarieties of BL Generated by t-norm Algebras. Studia Logica 76, 161–200 (2004). https://doi.org/10.1023/B:STUD.0000032084.12744.e3
Issue Date:
DOI: https://doi.org/10.1023/B:STUD.0000032084.12744.e3