Monadic pseudo BCI-algebras and corresponding logics. - Xiaolong Xin 001; Yulong Fu; Yanyan Lai; Juntao Wang 001 (Soft Comput., 2019)