Khamisyan, Artur A. “On Some Universal Propositional Proof Systems for Many-Valued Logic”. Mathematical Problems of Computer Science 53 (July 10, 2020): 21–28. Accessed January 21, 2026. https://mpcs.sci.am/index.php/mpcs/article/view/12.