论文信息 - An Analysis of the Rules of Gentzen's nJ and LJ - 字舞流文

An Analysis of the Rules of Gentzen's nJ and LJ

Mirjana Borisavljevic

[1] Jan von Plato,et al. Gentzen's Proof of Normalization for Natural Deduction , 2008, Bull. Symb. Log..

[2] D. Prawitz. Ideas and Results in Proof Theory , 1971 .

[3] G. Kreisel. A Survey of Proof Theory II , 1971 .

[4] Peter Schroeder-Heister,et al. A natural extension of natural deduction , 1984, Journal of Symbolic Logic.

[5] Christian Urban. Revisiting Zucker’s Work on the Correspondence Between Cut-Elimination and Normalisation , 2014 .

[6] Jan von Plato,et al. Translations from natural deduction to sequent calculus , 2003, Math. Log. Q..

[7] Mirjana Borisavljevic. Extended Natural Deduction Images of Conversions from the System of Sequents , 2004, J. Log. Comput..

[8] G. Kreisel. The Collected Papers of Gerhard Gentzen , 1971 .

[9] Jan von Plato,et al. A SEQUENT CALCULUS ISOMORPHIC TO GENTZEN’S NATURAL DEDUCTION , 2010, The Review of Symbolic Logic.

[10] Mirjana Borisavljevic. A Connection Between Cut Elimination and Normalization , 2006, Arch. Math. Log..

[11] Jan von Plato,et al. Natural deduction with general elimination rules , 2001, Arch. Math. Log..