M. V. Ratnamani (2023) “Comparing SHADL and Quasi Heyting ADL: A Study in Algebraic Structures and Logic”, Research and Applications Towards Mathematics and Computer Science Vol. 3, pp. 182–188. doi: 10.9734/bpi/ratmcs/v3/6097B.