An Isomorphism between a Fragment of Sequent Calculus and an Extension of Natural Deduction.

Jos Esprito Santo

Browse the full LPAR paper archive.