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 27, 2025. https://journals.uob.edu.ly/LJST/article/view/2243.