Book contents
- Frontmatter
- Dedication
- Contents
- Preface
- Acknowledgements
- Introduction
- Part I Basic Concepts
- 1 Concepts and Problems
- 2 Frege Systems
- 3 Sequent Calculus
- 4 Quantified Propositional Calculus
- 5 Resolution
- 6 Algebraic and Geometric Proof Systems
- 7 Further Proof Systems
- Part II Upper Bounds
- Part III Lower Bounds
- Part IV Beyond Bounds
- Bibliography
- Special Symbols
- Index
4 - Quantified Propositional Calculus
from Part I - Basic Concepts
Published online by Cambridge University Press: 25 March 2019
- Frontmatter
- Dedication
- Contents
- Preface
- Acknowledgements
- Introduction
- Part I Basic Concepts
- 1 Concepts and Problems
- 2 Frege Systems
- 3 Sequent Calculus
- 4 Quantified Propositional Calculus
- 5 Resolution
- 6 Algebraic and Geometric Proof Systems
- 7 Further Proof Systems
- Part II Upper Bounds
- Part III Lower Bounds
- Part IV Beyond Bounds
- Bibliography
- Special Symbols
- Index
Summary
Keywords
- Type
- Chapter
- Information
- Proof Complexity , pp. 81 - 92Publisher: Cambridge University PressPrint publication year: 2019