Varieties Generated by Standard BL-algebras
Abstract
If V is a subvariety of BL generated by a class of standard BL-algebras, then V is generated by a finite class of standard BL-algebras.
If V is a subvariety of BL generated by a class of standard BL-algebras, then V is generated by a finite class of standard BL-algebras.