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