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, 182–188. https://doi.org/10.9734/bpi/ratmcs/v3/6097B