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