Definition of Strong Equality of Tautologies and Universal System for Various Propositional Logics. Armenian Journal of Mathematics, [S. l.], v. 1, n. 2, p. pp. 30–36, 2008. Disponível em: http://test.armjmath.sci.am/index.php/ajm/article/view/25. Acesso em: 6 oct. 2024.