%0 Journal Article
%T Translating a Suppes-Lemmon Style Natural Deduction into a Sequent Calculus
%A Pavlovi£¿
%A Edi
%J -
%D 2015
%X 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
%K natural deduction
%K sequent calculus
%U https://hrcak.srce.hr/index.php?show=clanak&id_clanak_jezik=238613