Izvorni znanstveni članak
Translating a Suppes-Lemmon Style Natural Deduction into a Sequent Calculus
Edi Pavlović
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.
Ključne riječi
natural deduction; sequent calculus
Hrčak ID:
161874
URI
Datum izdavanja:
15.7.2016.
Posjeta: 1.213 *