Chubaryan A, Chubaryan A. Definition of Strong Equality of Tautologies and Universal System for Various Propositional Logics. Armen.J.Math. [Internet]. 2008 Oct. 13 [cited 2025 Apr. 3];1(2):pp. 30-36. Available from: https://armjmath.sci.am/index.php/ajm/article/view/25