Khamisyan, A.A. 2020. On Some Universal Propositional Proof Systems for Many-Valued Logic. Mathematical Problems of Computer Science. 53, (Jul. 2020), 21–28. DOI:https://doi.org/10.51408/1963-0049.