Subvarieties of BL-algebras generated by single-component chains (Q1407568)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Subvarieties of BL-algebras generated by single-component chains
scientific article

    Statements

    Subvarieties of BL-algebras generated by single-component chains (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    16 September 2003
    0 references
    In this paper we study and equationally characterize the subvarieties of \textbf{BL}, the variety of BL-algebras, which are generated by families of single-component BL-chains, i.e. MV-chains, product-chains or Gödel-chains. Moreover, it is proved that they form a segment of the lattice of subvarieties of \textbf{BL} which is bounded by the Boolean variety and the variety generated by all single-component chains, called \textbf{Ł}\(\mathbf{\Pi}\)\textbf{G}. Finally, we prove that all their corresponding logics are semi-standard complete.
    0 references
    semi-standard complete logics
    0 references
    subvarieties
    0 references
    variety of BL-algebras
    0 references
    single-component chains
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references