(1)
Chubaryan, A.; Chubaryan, A. Definition of Strong Equality of Tautologies and Universal System for Various Propositional Logics. Armen.J.Math. 2008, 1, pp. 30-36.