ANAHIT, C. .; ARMAN, K. .; GARIK, P. . Some Properties of Several Proof Systems for Intuitionistic, Johanssons and Monotone Propositional Logics. Journal of Asian Scientific Research, [S. l.], v. 8, n. 2, p. 61–72, 2018. DOI: 10.18488/journal.2.2018.82.61.72 . Disponível em: https://archive.aessweb.com/index.php/5003/article/view/3876. Acesso em: 3 jul. 2024.