Chubaryan, Anahit, and Armine Chubaryan. “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 August 12, 2020. http://armjmath.sci.am/index.php/ajm/article/view/25.