The variety generated by perfect BL-algebras: an algebraic approach in a fuzzy logic setting (Q1601907): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 02:37, 1 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The variety generated by perfect BL-algebras: an algebraic approach in a fuzzy logic setting |
scientific article |
Statements
The variety generated by perfect BL-algebras: an algebraic approach in a fuzzy logic setting (English)
0 references
27 June 2002
0 references
BL-algebras are the algebras of Hajek's Basic Logic [see \textit{P. Hájek}, Metamathematics of fuzzy logic. Trends in Logic, Studia Logica Library. 4. Dordrecht: Kluwer Academic Publishers (1998; Zbl 0937.03030)]. In the absence of a notion of ideal, the spectral theory of BL-algebras can be investigated using filters -- the latter being the algebraic counterpart of deductive systems. The main results of this paper deal with the variety generated by ``perfect'' BL-algebras, and the class of ``bipartite'' BL-algebras, generalizing previous results on perfect and bipartite MV-algebras. Warning: the authors' usage of the terminology ``locally finite'' (which in the particular case of MV-algebras boils down to ``without homomorphic images'') does not conform to current usage in universal algebra (where \(A\) is ``locally finite'' iff every finitely generated subalgebra of \(A\) is finite). This may lead to confusion: For instance, there exist singly generated infinite MV-subalgebras of \([0,1]\).
0 references
basic logic
0 references
BL-algebras
0 references
filters
0 references
variety
0 references
MV-algebras
0 references