Khamisyan, A. A. . On Some Universal Propositional Proof Systems for Many-Valued Logic. MPCS 2020, 53, 21-28.