Boolean products of BL-algebras (Q1589950)

From MaRDI portal





scientific article; zbMATH DE number 1545038
Language Label Description Also known as
default for all languages
No label defined
    English
    Boolean products of BL-algebras
    scientific article; zbMATH DE number 1545038

      Statements

      Boolean products of BL-algebras (English)
      0 references
      0 references
      0 references
      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

      Identifiers