Skip to main content
SpringerLink
Log in

Varieties of BL-Algebras II

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

In this paper we introduce a poset of subvarieties of BL-algebras, whose completion is the entire lattice of subvarietes; we exhibit also a description of this poset in terms of finite sequences of functions on the natural numbers.

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. Agliano, P., Varieties of BL-algebras I, revisited, Soft Computing 21:153–163, 2017.

    Article  Google Scholar 

  2. Agliano, P., I.M.A. Ferreirim, and F. Montagna, Basic hoops: an algebraic study of continuous \(t\)-norms, Studia Logica 87:73–98, 2007.

    Article  Google Scholar 

  3. Agliano, P., and F. Montagna, Varieties of BL-algebras I: general properties, Journal of Pure and Applied Algebra 181:105–129, 2003.

    Article  Google Scholar 

  4. Agliano, P., and G. Panti, Geometrical methods in Wajsberg hoops, Journal of Algebra 256:352–374, 2002.

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

    Article  Google Scholar 

  6. Blok, W. J., and D. Pigozzi, Algebraizable logics, vol. 396, Amer. Math. Soc., 1989.

  7. Burris, S., and H.P. Sankappanavar, A Course in Universal Algebra, Graduate texts in Mathematics, Springer, Berlin, 1981.

    Google Scholar 

  8. Di Nola, A., F. Esteva, P. Garcia, L. Godo, and S. Sessa, Subvarieties of BL-algebras generated by single-componente chains, Archive for Mathematical Logic 41:673–685, 2002.

  9. Esteva, F., L. Godo, and F. Montagna, Equational characterization of the subvarieties of BL generated by t-norm algebras, Studia Logica 76:161–200, 2004.

    Article  Google Scholar 

  10. Ferreirim, I.M.A., On Varieties and Quasivarieties of Hoops and Their Reducts, Ph.D. thesis, University of Illinois at Chicago, 1992.

  11. Galatos, N., Equational bases for joins of residuated-lattice varieties, Studia Logica 76:227–240, 2004.

    Article  Google Scholar 

  12. Galatos, N., and P. Jipsen, A survey of generalized basic logic algebras, in P. Cintula, Z. Hanikova, and V. Svejdar, (eds.), Witnessed Years: Essays in Honour of Petr Hajek, College Publications, 2009, pp. 305–331.

  13. Gispert, J., Universal classes of MV-chains with applications to many-valued logics, Mathematical Logic Quarterly 48:581–601, 2002.

    Article  Google Scholar 

  14. Gispert, J., D. Mundici, and A. Torrens, Ultraproducts of \({\mathbb{Z}}\) with an application to many-valued logics, Journal of Algebra 219:214–233, 1999.

  15. Hájek, P., Metamathematics of Fuzzy Logic, no. 4 in Trends in Logic—Studia Logica Library, Kluwer Academic Publ., Dordrecht/ Boston/ London, 1998.

  16. Haniková, Z., Varieties generated by standard BL-algebras, Order 31:1–13, 2014.

  17. Mundici, D., Interpretation of \(AFC^*\)-algebras in Łukasiewicz sentential calculus, Journal of Functional Analysis 65:15–63, 1986.

    Article  Google Scholar 

  18. Nation, J.B., and A. Pogel, The lattice of completions of an ordered set, Order 14:1–7, 1997.

    Article  Google Scholar 

  19. Ward, L., and R.P. Dilworth, Residuated lattices, Transactions of the American Mathematical Society 45:335–354, 1939.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. DIISM University of Siena, Siena, Italy

    P. Aglianò & F. Montagna

Authors
  1. P. Aglianò
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. F. Montagna
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to P. Aglianò.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Aglianò, P., Montagna, F. Varieties of BL-Algebras II. Stud Logica 106, 721–737 (2018). https://doi.org/10.1007/s11225-017-9763-7

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-017-9763-7

Keywords

Search

Navigation