Boolean products of BL-algebras (Q1589950): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.1006/jmaa.2000.7024 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W2035242660 / rank | |||
Normal rank | |||
Revision as of 18:54, 19 March 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Boolean products of BL-algebras |
scientific article |
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
