As a generalization of positive implicative BCK/BCI-algebras, the notions of 1-type positive implicative pseudo-BCK/BCI algebras are introduced, and some properties are investigated. By introducing the notions of 1-type positive implicative pseudo-BCK/BCI filter, 1-type positive implicative pseudo-BCK/BCI algebras are characterized.
Kul HurLee, Jeong GonJun, Young Bae
Kul HurYoungBaeJunJeong-Gon Lee
Kul HurJeong-Gon LeeYoung Bae Jun