The variety generated by perfect BL-algebras: an algebraic approach in a fuzzy logic setting (Q1601907): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Added link to MaRDI item.
links / mardi / namelinks / 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
    0 references
    0 references
    0 references
    0 references
    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

    Identifiers