Skip to main content
SpringerLink
Log in

Varieties of BL-algebras I, revisited

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

Abstract

In this paper, we explore some unexplored consequences of Agliano et al. (Studia Logica 87:73–98, 2007) and Agliano and Montagna (J Pure Appl Algebra 181:105–129, 2003) on varieties of BL-algebras and their hoop subreducts. The main topics are: generation by finite algebras, the finite embeddability property and varieties of finite index.

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

  • Agliano P (1998) Ternary deductive terms in residuated structures. Acta Sci Math (Szeged) 64:397–429

    MATH  MathSciNet  Google Scholar 

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

    Article  MATH  MathSciNet  Google Scholar 

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

    Article  MATH  MathSciNet  Google Scholar 

  • Agliano P, Panti G (2002) Geometrical methods in Wajsberg hoops. J Algebra 256:352–374

    Article  MATH  MathSciNet  Google Scholar 

  • Blok WJ, Ferreirim IMA (2000) On the structure of hoops. Algebra Univers 43:233–257

    Article  MATH  MathSciNet  Google Scholar 

  • Blok WJ, Raftery J (1997) Varieties of commutative residuated integral pomonoids and their residuation subreducts. J Algebra 190:280–328

    Article  MATH  MathSciNet  Google Scholar 

  • Di Nola A, Lettieri A (1999) Equational characterization of all varieties of MV-algebras. J Algebra 221:463–474

    Article  MATH  MathSciNet  Google Scholar 

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

    Article  MATH  MathSciNet  Google Scholar 

  • Evans T (1969) Some connections between residual finiteness, finite embeddability and the word problem. J Lond Math Soc 1:399–403

    Article  MATH  MathSciNet  Google Scholar 

  • Ferreirim IMA (1992) On varieties and quasivarieties of hoops and their reducts, Ph.D. thesis, University of Illinois at Chicago,

  • Ferreirim IMA (2001) On a conjecture by Andrzej Wroński for BCK-algebras and subreducts of hoops. Scient Math Japonica 53:119–132

    MATH  MathSciNet  Google Scholar 

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

  • Hecht T, Katrinák T (1972) Equational classes of relative Stone algebras. Notre Dame J Form Log 13:248–254

    Article  MATH  MathSciNet  Google Scholar 

  • Jipsen P, Montagna F (2009) The Blok-Ferreirim theorem for normal GBL-algebras and its application. Algebra Universalis 60:381–404

    Article  MATH  MathSciNet  Google Scholar 

  • Mundici D (1986) Interpretation of \(AFC^*\)-algebras in Łukasiewicz sentential calculus. J Funct Anal 65:15–63

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. DIISM, Via Roma 56, 53100, Siena, Italy

    Paolo Aglianò

Authors
  1. Paolo Aglianò
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Paolo Aglianò.

Ethics declarations

Conflict of interest

The author declares no conflict of interest.

Additional information

Communicated by A. Di Nola, D. Mundici, C. Toffalori, A. Ursini.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Aglianò, P. Varieties of BL-algebras I, revisited. Soft Comput 21, 153–163 (2017). https://doi.org/10.1007/s00500-016-2367-8

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00500-016-2367-8

Keywords

Search

Navigation