A new sequent calculus for automated proof search
Oleg Okhotnikov · Applied Mathematical Sciences · 2014
In this paper, a new sequent calculus is presented. This sequent calculus is suitable for automated proof search of natural deduction. Also such calculus represents convenient theoretical basis for the proof