Note by the Guest Editors
Automated Natural Deduction in Thinker
Strategic Construction of Fitch-style Proofs
Normal Natural Deduction Proofs (in classical logic)*
Cut-Elimination and a Permutation-Free Sequent Calculus for Intuitionistic Logic*
Natural Deduction for Non-Classical Logics
Encoding Modal Logics in Logical Frameworks*
Linear Lambda-Terms and Natural Deduction