Completions in Subvarieties of BL-algebras
Manuela Busaniche and Leonardo Manuel Cabrer
In the present paper we extend the results of [4] by completely characterizing dual canonical subvarieties of BL-algebras. These are subvarieties of algebras that satisfy the equation xk = xk+1 for some integer k ≥ 1. As a corollary we get a full description of subvarieties of BL-algebras that admit completions.
Keywords: Completions, BL-algebras, Canonical Extensions, Distributive lattices, Basic logic