Chubaryan, Anahit, and Armine Chubaryan. 2008. “Definition of Strong Equality of Tautologies and Universal System for Various Propositional Logics”. Armenian Journal of Mathematics 1 (2):pp. 30-36. http://armjmath.sci.am/index.php/ajm/article/view/25.