Return to Article Details A Sequent Systems without Improper Derivations Download Download PDF