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