Free algebras in varieties of BL-algebras with a Boolean retract. (Q1771935): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claims |
||
| Property / author | |||
| Property / author: Roberto L. O. Cignoli / rank | |||
| Property / author | |||
| Property / author: Antoni Torrens Torrell / rank | |||
| Property / reviewed by | |||
| Property / reviewed by: Jiří Rachůnek / rank | |||
Revision as of 17:44, 11 February 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Free algebras in varieties of BL-algebras with a Boolean retract. |
scientific article |
Statements
Free algebras in varieties of BL-algebras with a Boolean retract. (English)
0 references
19 April 2005
0 references
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.
0 references
BL-algebras
0 references
radical algebras
0 references
radical variety
0 references
Boolean representation
0 references
free BL-algebra
0 references
