Hilbert Algebras in Positive Implicative BCK-Algebras

Conference paper
Part of the Lecture Notes in Electrical Engineering book series (LNEE, volume 206)

Abstract

The notion of BCK-algebras was formulated first in 1966 by K. Iséki, Japanese, and Mathematician. This notion is originated from two different ways. One of the motivations is based on set theory; another motivation is from classical and non-classical propositional calculi. There are many classes of BCK-algebras, for example, subalgebras, bounded BCK-algebras, positive implicative BCK-algebra, implicative BCK-algebra, commutative BCK-algebra, BCK-algebras with condition (S), Griss (and semi-Brouwerian) algebras, quasicommutative BCK-algebras, direct product of BCK-algebras, and so on. The notion of positive implicative BCK-algebras was introduced by K. Iséki in 1975. In previous studies, scholars gave the definition of the positive implicative BCK-algebras, and its characterizations, and the relationship between other BCK-algebra, before this article I give a notion an ideal of Hilbert Algebras in BCK-algebras, as well as some propositions, so, here I will give a notion of Hilbert algebras in positive implicative BCK-algebras, and some propositions.

Keywords

BCK-algebra Hilbert algebras Positive implicative BCK-algebra 

References

  1. 1.
    Iséki K (1976) BCK-algebras. Math Semin Notes 4:77–86Google Scholar
  2. 2.
    Chen ZM, Wang HX (1991) On simple BCI-algebras. Math Japon 36:627–632MATHMathSciNetGoogle Scholar
  3. 3.
    Liu F, Li JZ (1997) Hilbert algebras are anti-positive implicative BCK-algebras (Chinese). Shanxi College Mining Technol 15(2):214–217Google Scholar
  4. 4.
    Iséki K, Tanaka S (1978) An introduction to the theory of BCK-algebras. Math Japon 23:1–26MATHMathSciNetGoogle Scholar
  5. 5.
    Meng J, Jun YB (1994) BCK-algebras. K Yung Moon Sa Co 88:110–120Google Scholar
  6. 6.
    Ahsan E, Deeba Y, Thaheem AB (1991) On prime ideals of BCK-algebras. Math Japon 55(36):875–882Google Scholar
  7. 7.
    Chen ZM, Wang HX (1991) On simple BCI-algebras. Math Japon 67(36):627–632Google Scholar

Copyright information

© Springer-Verlag London 2013

Authors and Affiliations

  1. 1.College of Light IndustryHebei United UniversityTangshanChina
  2. 2.Handan Hospital of Traditional Chinese MedicineHandanChina

Personalised recommendations