Translating a Suppes-Lemmon Style Natural Deduction into a Sequent Calculus
Edi Pavlović · University of Zagreb University Computing Centre (SRCE) · 2016
This paper presents a straightforward procedure 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 provides an account of redundant steps in a natural deduction proof.