On BCK algebras. I.b: An attempt to treat unitarily the algebras of logic. New algebras (Q3395339)

From MaRDI portal





scientific article; zbMATH DE number 5598394
Language Label Description Also known as
default for all languages
No label defined
    English
    On BCK algebras. I.b: An attempt to treat unitarily the algebras of logic. New algebras
    scientific article; zbMATH DE number 5598394

      Statements

      26 August 2009
      0 references
      BCK-algebra
      0 references
      BCK(P)-lattice
      0 references
      BL-algebra
      0 references
      Hertz algebra
      0 references
      Heyting algebra
      0 references
      Hilbert algebra
      0 references
      Hájek(P) algebra
      0 references
      IMTL-algebra
      0 references
      MTL-algebra
      0 references
      MV-algebra
      0 references
      NM-algebra
      0 references
      \(R_0\)-algebra
      0 references
      WNM-algebra
      0 references
      Wajsberg algebra
      0 references
      divisible BCK(P)-lattice
      0 references
      generalized BL-algebra
      0 references
      generalized MV-algebra
      0 references
      generalized Wajsberg algebra
      0 references
      pocrim
      0 references
      residuated lattice
      0 references
      t-norm
      0 references
      weak BL-algebra
      0 references

      Identifiers