An Ideal Hilbert Algebras in Positive Implicative BCK-Algebras
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, sub algebras, 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. The notion of ideal in BCK-algebras was formulated by K. Iséki in 1975. The ideal theory plays a fundamental role for the general development of BCK-algebras. 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 an ideal of Hilbert algebras in positive implicative BCK-algebras, and some propositions.
KeywordsHilbert algebras Positive implicative BCK-algebra Ideal
- 1.Liu F, Li JZ (1997) Hilbert algebras is an anti-positive implicative BCK-algebra (Chinese). Shanxi Coll Min Technol 15(2):214–217Google Scholar
- 2.Zhang Q N (2009) An ideal of hilbert algebras in BCK-algebras. In: Proceedings of 2009 conference on communication faculty vol 88. 310–311Google Scholar
- 4.Meng J, Jun YB (1994) BCK-algebras, vol 98. KYung Moon Sa Co, p 256Google Scholar
- 5.Ahsan EY, Deeba AB (1991) On prime ideals of BCK-algebras. Math Jpn 33(36):875–882Google Scholar
- 6.Chen ZM, Wang HX (1991) On simple BCI-algebras. Math. Jpn 27(36):627–632Google Scholar