Structural Proof Theory

Structural Proof Theory
Sara Negri, Jan von Plato

PREFACE
INTRODUCTION
1 FROM NATURAL DEDUCTION TO SEQUENT CALCULUS
2 SEQUENT CALCULUS FOR INTUITIONISTIC LOGIC
3 SEQUENT CALCULUS FOR INTUITIONISTIC LOGIC
4 THE QUANTIFIERS
5 VARIANTS OF SEQUENT CALCULI
6 STRUCTURAL PROOF ANALYSIS OF AXIOMATIC THEORIES
7 INTERMEDIATE LOGICAL SYSTEMS
8 BACK TO NATURAL DEDUCTION
CONCLUSION: DIVERSITY AND UNITY IN STRUCTURAL PROOF THEORY
APPENDIX A SIMPLE TYPE THEORY AND CATEGORIAL GRAMMAR
APPENDIX B PROOF THEORY AND CONSTRUCTIVE TYPE THEORY
APPENDIX C PESCA – A PROOF EDITOR FOR SEQUENT CALCULUS (by Aarne Ranta)