Advances in Linear Logic: Sequent calculi for second order logic