Keyword:minimal tautology

Papers
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