Implicative Pseudo-BCK Algebras and Implicative Pseudo-Filters of Pseudo-BCK Algebras. - Xiaohong Zhang 001; Hongjuan Gong (GrC, 2010)