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