Non-commutative hyper residuated lattices and hyper pseudo-BCK algebras | IEEE Conference Publication | IEEE Xplore