Skip to main content
SpringerLink
Log in

Varieties Generated by Standard BL-Algebras

  • Published:
Order Aims and scope Submit manuscript

Abstract

If \( {\mathbb {V}} \) is a subvariety of \( {\mathbb {BL}} \) generated by a class of standard BL-algebras, then \( {\mathbb {V}} \) is generated by a finite class of standard 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.: Basic hoops: an algebraic study of continuous t-norms. Stud. Log. 87(1), 73–98 (2007)

    Article  MATH  Google Scholar 

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

    Article  MATH  MathSciNet  Google Scholar 

  3. Argyros, S.A., Todorcevic, S.: Ramsey Methods in Analysis. Birkhäuser Verlag, Basel-Boston-Berlin (2005)

  4. Baaz, M., Hájek, P., Montagna, F., Veith, H.: Complexity of t-tautologies. Ann. Pure Appl. Logic 113(1–3), 3–11 (2002)

    MATH  MathSciNet  Google Scholar 

  5. Busaniche, M., Montagna, F.: Hájek’s logic BL and BL-algebras, Chapter V. In: Cintula, P., Hájek, P., Noguera, C. (eds.) Handbook of Mathematical Fuzzy Logic, vol. 1. Studies in Logic, vol. 37. College Publications (2011)

  6. 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)

    Article  Google Scholar 

  7. Esteva, F., Godo, L., Montagna, F.: Equational characterization of subvarieties of BL-algebras generated by t-norm algebras. Stud. Log. 76(2), 161–200 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  8. Ferreirim, I.M.A.: On varieties and quasivarieties of hoops and their reducts. PhD thesis, University of Illinois at Chicago, Chicago (1992)

  9. Galatos, N.: Equational bases for joins of residuated-lattice varieties. Stud. Log. 76(2), 227–240 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  10. Galatos, N., Jipsen, P., Kowalski, T., Ono, H.: Residuated lattices: an algebraic glimpse at substructural logics. In: Studies in Logic and the Foundations of Mathematics, vol. 151. Elsevier, Amsterdam (2007)

  11. Hájek, P.: Basic fuzzy logic and BL-algebras. Soft Comput. 2(3), 124–128 (1998)

    Article  Google Scholar 

  12. Hájek, P.: Metamathematics of fuzzy logic. In: Trends in Logic, vol. 4. Kluwer, Dordrecht (1998)

    Google Scholar 

  13. Haniková, Z.: A note on the complexity of propositional tautologies of individual t-algebras. Neural Netw. World 12, 453–460 (2002)

    Google Scholar 

  14. Horčík, R., Terui, K.: Disjunction property and complexity of substructural logics. Theor. Comp. Sci. 412(31), 3992–4006 (2011)

    Article  MATH  Google Scholar 

  15. Mostert, P.S., Shields, A.L.: On the structure of semigroups on a compact manifold with boundary. Ann. Math. Second Series 65, 117–143 (1957)

    Article  MATH  MathSciNet  Google Scholar 

  16. Ono, H.: Logic without the contraction rule and residuated lattices. Aust. J. Logic (8), 50–81 (2010)

Download references

Author information

Authors and Affiliations

  1. Institute of Computer Science, Academy of Sciences of the Czech Republic, 182 07, Prague, Czech Republic

    Zuzana Haniková

Authors
  1. Zuzana Haniková
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Zuzana Haniková.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Haniková, Z. Varieties Generated by Standard BL-Algebras. Order 31, 15–33 (2014). https://doi.org/10.1007/s11083-013-9285-5

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11083-013-9285-5

Keywords

Search

Navigation