1. Note by the Guest Editors

   • Wilfried Sieg
   • Frank Pfenning

   Legacy Pages: 1 - 1

2. Automated Natural Deduction in Thinker

   • Francis Jeffry Pelletier

   OriginalPaper Pages: 3 - 43

3. Strategic Construction of Fitch-style Proofs

   • Frederic D. Portoraro

   OriginalPaper Pages: 45 - 66

4. Normal Natural Deduction Proofs (in classical logic)

   • Wilfried Sieg
   • John Byrnes

   OriginalPaper Pages: 67 - 106

5. Cut-Elimination and a Permutation-Free Sequent Calculus for Intuitionistic Logic

   • Roy Dyckhoff
   • Luis Pinto

   OriginalPaper Pages: 107 - 118

6. Natural Deduction for Non-Classical Logics

   • David Basin
   • Seán Matthews
   • Luca Viganò

   OriginalPaper Pages: 119 - 160

7. Encoding Modal Logics in Logical Frameworks

   • Arnon Avron
   • Furio Honsell
   • Cristian Paravano

   OriginalPaper Pages: 161 - 208

8. Linear Lambda-Terms and Natural Deduction

   • G. Mints

   OriginalPaper Pages: 209 - 231