In the present paper we extend the results of cite{BuCa} by completely characterizing dual canonical subvarieties of BL-algebras. These are subvarieties of algebras that satisfy the equation $x^k=x^{k+1}$ for some integer $kge 1$. As a corollary we get a full description of subvarieties of BL-algebras that admit completions.
Published in:
Multiple-Valued Logic (ISMVL), 2010 40th IEEE International Symposium on
Date of Conference: 26-28 May 2010