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