“Definition of Strong Equality of Tautologies and Universal System for Various Propositional Logics”, Armen.J.Math., vol. 1, no. 2, pp. pp. 30–36, Oct. 2008, Accessed: Oct. 06, 2024. [Online]. Available: http://test.armjmath.sci.am/index.php/ajm/article/view/25