Subvarieties of BL-algebras generated by single-component chains (Q1407568)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Subvarieties of BL-algebras generated by single-component chains |
scientific article; zbMATH DE number 1982494
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Subvarieties of BL-algebras generated by single-component chains |
scientific article; zbMATH DE number 1982494 |
Statements
Subvarieties of BL-algebras generated by single-component chains (English)
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
0.8923577
0 references
0.89170325
0 references
0.88880265
0 references
0 references
0 references
0.8859141
0 references
0.88440675
0 references