“…A loop(quasigroup) is an AIPL(AIPQ) if and only if it obeys the identity As observed by Osborn [15], a loop is a WIPL and an AIPL if and only if it is a CIPL. The past efforts of Artzy [2,5,4,3], Belousov and Tzurkan [6] and present studies of Keedwell [11], Keedwell and Shcherbacov [12,13,14] are of great significance in the study of WIPLs, AIPLs, CIPQs and CIPLs, their generalizations(i.e m-inverse loops and quasigroups, (r,s,t)inverse quasigroups) and applications to cryptography.…”