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