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