Pseudo-BCK part and anti-grouped part of pseudo-BCI algebras | IEEE Conference Publication | IEEE Xplore