Normal Natural Deduction Proofs (in classical logic) Wilfried SiegJohn Byrnes OriginalPaper Pages: 67 - 106
Cut-Elimination and a Permutation-Free Sequent Calculus for Intuitionistic Logic Roy DyckhoffLuis Pinto OriginalPaper Pages: 107 - 118
Natural Deduction for Non-Classical Logics David BasinSeán MatthewsLuca Viganò OriginalPaper Pages: 119 - 160
Encoding Modal Logics in Logical Frameworks Arnon AvronFurio HonsellCristian Paravano OriginalPaper Pages: 161 - 208