Free algebras in varieties of BL-algebras with a Boolean retract. (Q1771935): Difference between revisions

BL-algebras, introduced by \textit{P.\ Hájek} [Metamathematics of fuzzy logic. Trends in Logic -- Studia Logica Library 4, Kluwer Academic Publishers, Dordrecht (1998; Zbl 0937.03030)], are an algebraic counterpart of basic fuzzy logic. It is known that BL-algebras form a variety of residuated lattices or residuated \(\ell \)-monoids. In the paper, a description of the free algebras in varieties of BL-algebras having the Boolean retraction property is obtained. This description is given in terms of weak Boolean products over Cantor spaces.