Bolibekyan H. On some Systems of Minimal Propositional Logic with Loop Detection Mechanisms. MPCS [Internet]. 2021Dec.10 [cited 2025Jul.6];38:42-3. Available from: http://www.mpcs.sci.am/index.php/mpcs/article/view/481