Gentzen-style axiomatizations for some conservative extensions of basic propositional logic