Book contents
- Frontmatter
- Contents
- 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)
- BIBLIOGRAPHY
- AUTHOR INDEX
- SUBJECT INDEX
- INDEX OF LOGICAL SYSTEMS
BIBLIOGRAPHY
Published online by Cambridge University Press: 25 February 2010
- Frontmatter
- Contents
- 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)
- BIBLIOGRAPHY
- AUTHOR INDEX
- SUBJECT INDEX
- INDEX OF LOGICAL SYSTEMS
Summary
- Type
- Chapter
- Information
- Structural Proof Theory , pp. 245 - 250Publisher: Cambridge University PressPrint publication year: 2001