“Definition of Strong Equality of Tautologies and Universal System for Various Propositional Logics”. Armenian Journal of Mathematics 1, no. 2 (October 13, 2008): pp. 30–36. Accessed May 7, 2024. https://armjmath.sci.am/index.php/ajm/article/view/25.