M. V. Ratnamani. Comparing SHADL and Quasi Heyting ADL: A Study in Algebraic Structures and Logic. RATMCS-V3 [Internet]. 2023 Aug. 10 [cited 2026 Jul. 27];:182-8. Available from: https://stm.bookpi.org/RATMCS-V3/article/view/11572