Conditions for \(BR_0\)-algebras to be Boolean algebras (Q3096237)

From MaRDI portal





scientific article; zbMATH DE number 5969071
Language Label Description Also known as
default for all languages
No label defined
    English
    Conditions for \(BR_0\)-algebras to be Boolean algebras
    scientific article; zbMATH DE number 5969071

      Statements

      0 references
      0 references
      8 November 2011
      0 references
      implicative \(BR_0\)-algebra
      0 references
      Heyting algebra
      0 references
      Boolean algebra
      0 references
      HFI-algebra
      0 references
      commutative \(BR_0\)-algebra
      0 references

      Identifiers

      0 references
      0 references
      0 references
      0 references