On 1-type positive implicative pseudo-BCK/BCI algebras
Xiaohong Zhang, Yinfeng Lu, Xiaoyan Mao · 2010
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.