Free algebras in varieties of BL-algebras with a Boolean retract.

Abstract

The aim of this paper is to give a description of the free algebras in varieties of BL-algebras having the Boolean retraction property. This description is given in terms of weak Boolean products over Cantor spaces. The stalks are obtained in a constructive way from free radical algebras. Radical algebras are obtained endowing the maximal radicals of BL-algebras with a unary operation corresponding to double negation. The radical algebras obtained from a variety of BL-algebras form themselves a variety, that in the cases of PL-algebras and bipartite MV-algebras can be identified with the class of cancellative hoops.