Skip to main content
SpringerLink
Log in

Generating the variety of BL-algebras

  • Focus
  • Published:
Soft Computing Aims and scope Submit manuscript

Abstract

This paper collects some results from [AFM] and from [AM]. Our purpose is to illustrate some interesting classes of algebras which generate the whole variety of BL-algebras. In particular, we prove that such variety is generated by its finite members and by the class of finite ordinal sums of Lukasiewicz t-norm algebras. Finally, we characterize the BL-chains which generate the whole variety of BL-algebras.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Aglianó, P., Ferreirim, I.M.A., Montagna, F. (2001) Basic hoops: an algebraic study of continuous t-norms, (preprint)

  2. Aglianó, P., Montagna, F. (2003) Varieties of BL-algebras I: general properties. J Pure Appl Algebra 181:105–129

    Google Scholar 

  3. Aglianò, P., Ursini, A. (1997) On subtractive varieties III: From ideals to congruences. Algebra Universalis 37:296–333

    Google Scholar 

  4. Blok, W.J., Ferreirim, I.M.A. (2000) On the structure of hoops. Algebra Universalis 43:233–257

    Google Scholar 

  5. Blok, W., Pigozzi, D. (1989) Algebraizable Logics. Mem Am Math Soc 77:396

  6. Busaniche, M. (2002) Decompositions of BL-chains, Preprint University of Buenos Aires

  7. Chang, C.C. (1958) Algebraic analysis of: many-valued logic. Trans Am Math Soc 88: 467–490

    Google Scholar 

  8. 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:106–112

    Google Scholar 

  9. Cignoli, R., Mundici, D., D'Ottaviano, I.M.L. (2000) Algebraic foundations of many-valued reasoning. Kluwer, Dordercht

  10. Ferreirim, I.M.A. (1992) On varieties and quasi varieties of hoops and their reducts. PhD Thesis, University of Illinois at Chicago

  11. Gumm, P., Ursini, A. (1984) Ideals in Universal Algebra. Algebra Universalis 19:45–54

  12. Hájek, P. (1998) Metamathematics of Fuzzy Logic. Trends in Logic, Studia Logica Library no. 4. Kluwer Dordercht/ Boston/ London

  13. Harrop, R. (1958) On the existence of finite models and decision procedures for propositional calculi. Proc Cambridge Philos Soc 58:1–13

    Google Scholar 

  14. Laskowski, L.C., Shashoua, Y.V. (2002) A classification of BL-algebras. Fuzzy Sets Sys 131:271–282

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartamento de Matematica, University of Siena, Via del Capitano 15, 53100, Siena, Italy

    F. Montagna

Authors
  1. F. Montagna
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to F. Montagna.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Montagna, F. Generating the variety of BL-algebras. Soft Comput 9, 869–874 (2005). https://doi.org/10.1007/s00500-004-0450-z

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00500-004-0450-z

Keywords

Search

Navigation