Gentzen-Style Axiomatizations for Some Conservative Extensions of Basic Propositional Logic - doi # 2001-07 Article type Journal