Original scientific paper
Translating a Suppes-Lemmon Style Natural Deduction into a Sequent Calculus
Edi Pavlović
Abstract
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.
Keywords
natural deduction; sequent calculus
Hrčak ID:
161874
URI
Publication date:
15.7.2016.
Visits: 1.213 *