Keyword:many-valued logic

Papers
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 no. 3994