An isomorphism between a fragment of sequent calculus and an extension of natural deduction

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)