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