Boolean products of BL-algebras (Q1589950)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Boolean products of BL-algebras |
scientific article; zbMATH DE number 1545038
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Boolean products of BL-algebras |
scientific article; zbMATH DE number 1545038 |
Statements
Boolean products of BL-algebras (English)
0 references
26 July 2001
0 references
BL algebras are the Lindenbaum algebras of Hájek's Basic Logic. As shown in \textit{P. Hájek}'s book [Metamathematics of fuzzy logic, Kluwer, Dordrecht, Trends in Logic, Studia Logica Library, Vol. 4 (1998; Zbl 0937.03030)], BL algebras generalize Chang's MV-algebras, symmetric Heyting algebras, and product algebras. They capture precisely those equational properties that are valid for all continuous ``triangular norms'' and their adjoint implications. The authors characterize Boolean products of BL-chains, weak Boolean products of local BL-algebras, and of perfect BL-algebras.
0 references
BL algebras
0 references
Lindenbaum algebras of Hájek's Basic Logic
0 references
Boolean products of BL-chains
0 references
weak Boolean products
0 references
local BL-algebras
0 references
perfect BL-algebras
0 references
0 references
