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