On Some Universal Propositional Proof Systems for Many-Valued Logic

Artur Khamisyan
2020 Mathematical Problems of Computer Science  
Some uniform Hilbert-like propositional proof system is suggested for all versions of many-valued logic to apply them to 3 versions of 3-valued logic, two of which have only one designated value, and the last one has two designated values
doi:10.51408/1963-0049 fatcat:m5ggpqfnszh2xm42h24xiwwlbu