On 1-type positive implicative pseudo-BCK/BCI algebras
VAGUE QUICK IDEALS OF BCK/BCI-ALGEBRAS
Pseudo-BCK part and anti-grouped part of pseudo-BCI algebras