136 results
ON THE EXISTENCE OF STRONG PROOF COMPLEXITY GENERATORS
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 30 / Issue 1 / March 2024
- Published online by Cambridge University Press:
- 22 November 2023, pp. 20-40
- Print publication:
- March 2024
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
A PROOF COMPLEXITY CONJECTURE AND THE INCOMPLETENESS THEOREM
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 19 September 2023, pp. 1-5
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
INFORMATION IN PROPOSITIONAL PROOFS AND ALGORITHMIC PROOF SEARCH
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 87 / Issue 2 / June 2022
- Published online by Cambridge University Press:
- 27 September 2021, pp. 852-869
- Print publication:
- June 2022
-
- Article
- Export citation
Index
-
- Book:
- Proof Complexity
- Published online:
- 25 March 2019
- Print publication:
- 28 March 2019, pp 510-516
-
- Chapter
- Export citation
6 - Algebraic and Geometric Proof Systems
- from Part I - Basic Concepts
-
- Book:
- Proof Complexity
- Published online:
- 25 March 2019
- Print publication:
- 28 March 2019, pp 115-133
-
- Chapter
- Export citation
10 - Up to EF via the 〈. . .〉 Translation
- from Part II - Upper Bounds
-
- Book:
- Proof Complexity
- Published online:
- 25 March 2019
- Print publication:
- 28 March 2019, pp 197-210
-
- Chapter
- Export citation
Part IV - Beyond Bounds
-
- Book:
- Proof Complexity
- Published online:
- 25 March 2019
- Print publication:
- 28 March 2019, pp 411-412
-
- Chapter
- Export citation
5 - Resolution
- from Part I - Basic Concepts
-
- Book:
- Proof Complexity
- Published online:
- 25 March 2019
- Print publication:
- 28 March 2019, pp 93-114
-
- Chapter
- Export citation
Preface
-
- Book:
- Proof Complexity
- Published online:
- 25 March 2019
- Print publication:
- 28 March 2019, pp xiii-xiv
-
- Chapter
- Export citation
3 - Sequent Calculus
- from Part I - Basic Concepts
-
- Book:
- Proof Complexity
- Published online:
- 25 March 2019
- Print publication:
- 28 March 2019, pp 64-80
-
- Chapter
- Export citation
1 - Concepts and Problems
- from Part I - Basic Concepts
-
- Book:
- Proof Complexity
- Published online:
- 25 March 2019
- Print publication:
- 28 March 2019, pp 11-38
-
- Chapter
- Export citation
Bibliography
-
- Book:
- Proof Complexity
- Published online:
- 25 March 2019
- Print publication:
- 28 March 2019, pp 481-505
-
- Chapter
- Export citation
14 - LKd+1/2 and Combinatorial Restrictions
- from Part III - Lower Bounds
-
- Book:
- Proof Complexity
- Published online:
- 25 March 2019
- Print publication:
- 28 March 2019, pp 296-305
-
- Chapter
- Export citation
12 - Beyond EF via the || . . . || Translation
- from Part II - Upper Bounds
-
- Book:
- Proof Complexity
- Published online:
- 25 March 2019
- Print publication:
- 28 March 2019, pp 233-260
-
- Chapter
- Export citation
2 - Frege Systems
- from Part I - Basic Concepts
-
- Book:
- Proof Complexity
- Published online:
- 25 March 2019
- Print publication:
- 28 March 2019, pp 39-63
-
- Chapter
- Export citation
Introduction
-
- Book:
- Proof Complexity
- Published online:
- 25 March 2019
- Print publication:
- 28 March 2019, pp 1-8
-
- Chapter
- Export citation
18 - Feasible Interpolation: Applications
- from Part III - Lower Bounds
-
- Book:
- Proof Complexity
- Published online:
- 25 March 2019
- Print publication:
- 28 March 2019, pp 384-410
-
- Chapter
- Export citation
Dedication
-
- Book:
- Proof Complexity
- Published online:
- 25 March 2019
- Print publication:
- 28 March 2019, pp v-vi
-
- Chapter
- Export citation
4 - Quantified Propositional Calculus
- from Part I - Basic Concepts
-
- Book:
- Proof Complexity
- Published online:
- 25 March 2019
- Print publication:
- 28 March 2019, pp 81-92
-
- Chapter
- Export citation
22 - The Nature of Proof Complexity
- from Part IV - Beyond Bounds
-
- Book:
- Proof Complexity
- Published online:
- 25 March 2019
- Print publication:
- 28 March 2019, pp 472-480
-
- Chapter
- Export citation