Translating a Suppes-Lemmon Style Natural Deduction into a Sequent Calculus

Sa？etak This paper presents a straightforward proce- dure for translating a Suppes-Lemmon style natural deduction proof into an LK sequent calculus. In doing so, it illustrates a close connection between the two, and also pro- vides an account of redundant steps in a natural deduction proof