Author:Anahit Chubaryan

Publications
On Monotonous and Strongly Monotonous Properties of Some Propositional Proof Systems for Different Logics Anahit Chubaryan, Sergey Sayadyan and Arsen Hambardzumyan EasyChair Preprint no. 3995
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