Structural Proof TheorySara Negri, Jan von PlatoPREFACE
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 C...
€2,00