Safiqul Islam (2021) “Deductive System on CL-Algebra”, Theory and Practice of Mathematics and Computer Science Vol. 9, pp. 154–160. doi: 10.9734/bpi/tpmcs/v9/8488D.