Sequent Calculus in Natural Deduction Style

Sara Negri, Jan von Plato. Sequent Calculus in Natural Deduction Style. Journal of Symbolic Logic, 66(4):1803-1816, 2001.

Abstract

Abstract is missing.