SHABANA, R.; A. ELAGEILI, R. Kripke models for intuitionistic propositional logic. Libyan Journal of Science &Technology, [S. l.], v. 7, n. 2, 2022. DOI: 10.37376/ljst.v7i2.2243. Disponível em: https://next.fannak.com/index.php/LJST/article/view/2243. Acesso em: 25 apr. 2026.