Shabana, R, and R. A. Elageili. “Kripke Models for Intuitionistic Propositional Logic”. Libyan Journal of Science &Technology 7, no. 2 (September 18, 2022). Accessed April 25, 2026. https://next.fannak.com/index.php/LJST/article/view/2243.