Table of Contents

Introduction; 1. Background; 2. Comparing NJ with LJ; 3. Natural deduction revisited; 4. The problem of substitution; 5. A multiple-conclusion calculus; 6. Reduction procedures; 7. Correspondence results; 8. Interpretations of derivations; Appendices; Index.