Implicative Pseudo-BCK Algebras and Implicative Pseudo-Filters of Pseudo-BCK Algebras | IEEE Conference Publication | IEEE Xplore