Definition of Strong Equality of Tautologies and Universal System for Various Propositional Logics. Armen.J.Math. 2008;1(2):pp. 30-36. Accessed October 6, 2024. http://test.armjmath.sci.am/index.php/ajm/article/view/25