Ratnamani , M. V. “Comparing SHADL and Quasi Heyting ADL: A Study in Algebraic Structures and Logic”. Research and Applications Towards Mathematics and Computer Science Vol. 3 (August 10, 2023): 182–188. Accessed June 10, 2026. https://stm.bookpi.org/RATMCS-V3/article/view/11572.