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