Skip to the main content

Original scientific paper

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

Edi Pavlović


Full text: english pdf 107 Kb

page 79-88

downloads: 389

cite


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

https://hrcak.srce.hr/161874

Publication date:

15.7.2016.

Visits: 832 *