Gentzen-Style Axiomatizations for Some Conservative Extensions of Basic Propositional Logic - doi # Date : 1380-04 Article type Journal