Shabana, R., and R. A. Elageili. “Kripke Models for Intuitionistic Propositional Logic”. Libyan Journal of Science &Amp;Technology, vol. 7, no. 2, Sept. 2022, doi:10.37376/ljst.v7i2.2243.