OurBigBook Wikipedia Bot
Documentation
Proof theory
OurBigBook Wikipedia Bot
Mathematics
Fields of mathematics
Mathematical logic
toc
wiki
split
articles:
45
Table of contents
45
1. Methods of proof
link
split
Proof theory
7
1.1. Conditional proof
link
split
Methods of proof
1.2. Counterexample
link
split
Methods of proof
1.3. Method of analytic tableaux
link
split
Methods of proof
1.4. Proof by contradiction
link
split
Methods of proof
1.5. Proof by contrapositive
link
split
Methods of proof
1.6. Proof by exhaustion
link
split
Methods of proof
1.7. RecycleUnits
link
split
Methods of proof
2. Analytic proof
link
split
Proof theory
3. Consistency
link
split
Proof theory
4. Decidability (logic)
link
split
Proof theory
5. Deep inference
link
split
Proof theory
6. Focused proof
link
split
Proof theory
7. Gentzen's consistency proof
link
split
Proof theory
8. Hilbert system
link
split
Proof theory
9. Hypersequent
link
split
Proof theory
10. Interpretability
link
split
Proof theory
11. Japaridze's polymodal logic
link
split
Proof theory
12. Judgment (mathematical logic)
link
split
Proof theory
13. Lambda-mu calculus
link
split
Proof theory
14. LowerUnits
link
split
Proof theory
15. Metalanguage
link
split
Proof theory
16. Natural deduction
link
split
Proof theory
17. Non-surveyable proof
link
split
Proof theory
18. Peano–Russell notation
link
split
Proof theory
19. Primitive recursive functional
link
split
Proof theory
20. Proof calculus
link
split
Proof theory
21. Proof compression
link
split
Proof theory
22. Proof net
link
split
Proof theory
23. Proof procedure
link
split
Proof theory
24. Provability logic
link
split
Proof theory
2
24.1. Finite model property
link
split
Provability logic
24.2. Interpretability logic
link
split
Provability logic
25. Pure type system
link
split
Proof theory
26. Redundant proof
link
split
Proof theory
27. Resolution proof compression by splitting
link
split
Proof theory
28. Resolution proof reduction via local context rewriting
link
split
Proof theory
29. Self-verifying theories
link
split
Proof theory
30. Sequent calculus
link
split
Proof theory
31. Structural proof theory
link
split
Proof theory
32. System U
link
split
Proof theory
33. Tolerant sequence
link
split
Proof theory
34. VIPER microprocessor
link
split
Proof theory
35. Weak interpretability
link
split
Proof theory
36. Ω-consistent theory
link
split
Proof theory
1. Methods of proof
split
articles:
7
Proof theory
toc
wiki
1.1. Conditional proof
split
Methods of proof
toc
wiki
1.2. Counterexample
split
Methods of proof
toc
wiki
1.3. Method of analytic tableaux
split
Methods of proof
toc
wiki
1.4. Proof by contradiction
split
Methods of proof
toc
wiki
1.5. Proof by contrapositive
split
Methods of proof
toc
wiki
1.6. Proof by exhaustion
split
Methods of proof
toc
wiki
1.7. RecycleUnits
split
Methods of proof
toc
wiki
2. Analytic proof
split
Proof theory
toc
wiki
3. Consistency
split
Proof theory
toc
wiki
4. Decidability (logic)
split
Proof theory
toc
wiki
5. Deep inference
split
Proof theory
toc
wiki
6. Focused proof
split
Proof theory
toc
wiki
7. Gentzen's consistency proof
split
Proof theory
toc
wiki
8. Hilbert system
split
Proof theory
toc
wiki
9. Hypersequent
split
Proof theory
toc
wiki
10. Interpretability
split
Proof theory
toc
wiki
11. Japaridze's polymodal logic
split
Proof theory
toc
wiki
12. Judgment (mathematical logic)
split
Proof theory
toc
wiki
13. Lambda-mu calculus
split
Proof theory
toc
wiki
14. LowerUnits
split
Proof theory
toc
wiki
15. Metalanguage
split
Proof theory
toc
wiki
16. Natural deduction
split
Proof theory
toc
wiki
17. Non-surveyable proof
split
Proof theory
toc
wiki
18. Peano–Russell notation
split
Proof theory
toc
wiki
19. Primitive recursive functional
split
Proof theory
toc
wiki
20. Proof calculus
split
Proof theory
toc
wiki
21. Proof compression
split
Proof theory
toc
wiki
22. Proof net
split
Proof theory
toc
wiki
23. Proof procedure
split
Proof theory
toc
wiki
24. Provability logic
split
articles:
2
Proof theory
toc
wiki
24.1. Finite model property
split
Provability logic
toc
wiki
24.2. Interpretability logic
split
Provability logic
toc
wiki
25. Pure type system
split
Proof theory
toc
wiki
26. Redundant proof
split
Proof theory
toc
wiki
27. Resolution proof compression by splitting
split
Proof theory
toc
wiki
28. Resolution proof reduction via local context rewriting
split
Proof theory
toc
wiki
29. Self-verifying theories
split
Proof theory
toc
wiki
30. Sequent calculus
split
Proof theory
toc
wiki
31. Structural proof theory
split
Proof theory
toc
wiki
32. System U
split
Proof theory
toc
wiki
33. Tolerant sequence
split
Proof theory
toc
wiki
34. VIPER microprocessor
split
Proof theory
toc
wiki
35. Weak interpretability
split
Proof theory
toc
wiki
36. Ω-consistent theory
split
Proof theory
toc
wiki
Ancestors
Mathematical logic
Fields of mathematics
Mathematics
OurBigBook Wikipedia Bot