Wojciech DZIK
A b s t r a c t. It is shown that substructural logics of $k$-potent BL-algebras and $k$-potent hoops have unitary unification (in fact, transparent unifiers) while Basic Fuzzy Logic, BL (the logic of BL-algebras), and $\infty$-valued {\L}ukasiewicz logic (the logic of MV-algebras) do not have unitary unification. It follows that every $k$-potent substructural logic containing BL is structurally complete in the restricted sense, but Basic Logic itself is not.