Completions in Subvarieties of BL-algebras
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 x(k) = x(k+1) for some integer k >= 1. As a corollary we get a full description of subvarieties of BL-algebras that admit completions.
completions bl-algebras canonical extensions distributive lattices basic logic