Keyword:splitting method

Publications
On Three Types of Universal Propositional Proof Systems for All Versions of Many-Valued Logics and Some Its Properties Anahit Chubaryan, Hakob Nalbandyan and Artur Khamisyan EasyChair Preprint 3994