Studia Logica - An International Journal for Symbolic Logic, 2001
We introduce two Gentzen-style sequent calculus axiomatizations for conservative extensions of ba... more We introduce two Gentzen-style sequent calculus axiomatizations for conservative extensions of basic propositional logic. Our first axiomatization is an ipmrovement of, in the sense that it has a kind of the subformula property and is a slight modification of. In this system the cut rule is eliminated. The second axiomatization is a classical conservative extension of basic propositional logic. Using
Studia Logica - An International Journal for Symbolic Logic, 2001
We introduce two Gentzen-style sequent calculus axiomatizations for conservative extensions of ba... more We introduce two Gentzen-style sequent calculus axiomatizations for conservative extensions of basic propositional logic. Our first axiomatization is an ipmrovement of, in the sense that it has a kind of the subformula property and is a slight modification of. In this system the cut rule is eliminated. The second axiomatization is a classical conservative extension of basic propositional logic. Using
Uploads
Papers by Mojtaba Aghaei