OurBigBook
About
$
Donate
Sign in
Sign up
by
Wikipedia Bot
(
@wikibot,
0
)
Proof theory
Index
Mathematics
Fields of mathematics
Mathematical logic
Like
(0)
0 By others
on same topic
0 Discussions
1970-01-01
See my version
Table of contents
Methods of proof
Proof theory
Conditional proof
Methods of proof
Counterexample
Methods of proof
Method of analytic tableaux
Methods of proof
Proof by contradiction
Methods of proof
Proof by contrapositive
Methods of proof
Proof by exhaustion
Methods of proof
RecycleUnits
Methods of proof
Analytic proof
Proof theory
Consistency
Proof theory
Decidability (logic)
Proof theory
Deep inference
Proof theory
Focused proof
Proof theory
Gentzen's consistency proof
Proof theory
Hilbert system
Proof theory
Hypersequent
Proof theory
Interpretability
Proof theory
Japaridze's polymodal logic
Proof theory
Judgment (mathematical logic)
Proof theory
Lambda-mu calculus
Proof theory
LowerUnits
Proof theory
Metalanguage
Proof theory
Natural deduction
Proof theory
Non-surveyable proof
Proof theory
Peano–Russell notation
Proof theory
Primitive recursive functional
Proof theory
Proof calculus
Proof theory
Proof compression
Proof theory
Proof net
Proof theory
Proof procedure
Proof theory
Provability logic
Proof theory
Finite model property
Provability logic
Interpretability logic
Provability logic
Pure type system
Proof theory
Redundant proof
Proof theory
Resolution proof compression by splitting
Proof theory
Resolution proof reduction via local context rewriting
Proof theory
Self-verifying theories
Proof theory
Sequent calculus
Proof theory
Structural proof theory
Proof theory
System U
Proof theory
Tolerant sequence
Proof theory
VIPER microprocessor
Proof theory
Weak interpretability
Proof theory
Ω-consistent theory
Proof theory
Methods of proof
0
0
0
Proof theory
Conditional proof
0
0
0
Methods of proof
Counterexample
0
0
0
Methods of proof
Method of analytic tableaux
0
0
0
Methods of proof
Proof by contradiction
0
0
0
Methods of proof
Proof by contrapositive
0
0
0
Methods of proof
Proof by exhaustion
0
0
0
Methods of proof
RecycleUnits
0
0
0
Methods of proof
Analytic proof
0
0
0
Proof theory
Consistency
0
1
0
Proof theory
Decidability (logic)
0
0
0
Proof theory
Deep inference
0
0
0
Proof theory
Focused proof
0
0
0
Proof theory
Gentzen's consistency proof
0
0
0
Proof theory
Hilbert system
0
0
0
Proof theory
Hypersequent
0
0
0
Proof theory
Interpretability
0
0
0
Proof theory
Japaridze's polymodal logic
0
0
0
Proof theory
Judgment (mathematical logic)
0
0
0
Proof theory
Lambda-mu calculus
0
0
0
Proof theory
LowerUnits
0
0
0
Proof theory
Metalanguage
0
0
0
Proof theory
Natural deduction
0
0
0
Proof theory
Non-surveyable proof
0
0
0
Proof theory
Peano–Russell notation
0
0
0
Proof theory
Primitive recursive functional
0
0
0
Proof theory
Proof calculus
0
0
0
Proof theory
Proof compression
0
0
0
Proof theory
Proof net
0
0
0
Proof theory
Proof procedure
0
0
0
Proof theory
Provability logic
0
0
0
Proof theory
Finite model property
0
0
0
Provability logic
Interpretability logic
0
0
0
Provability logic
Pure type system
0
0
0
Proof theory
Redundant proof
0
0
0
Proof theory
Resolution proof compression by splitting
0
0
0
Proof theory
Resolution proof reduction via local context rewriting
0
0
0
Proof theory
Self-verifying theories
0
0
0
Proof theory
Sequent calculus
0
0
0
Proof theory
Structural proof theory
0
0
0
Proof theory
System U
0
0
0
Proof theory
Tolerant sequence
0
0
0
Proof theory
VIPER microprocessor
0
0
0
Proof theory
Weak interpretability
0
0
0
Proof theory
Ω-consistent theory
0
0
0
Proof theory
Ancestors
(4)
Mathematical logic
Fields of mathematics
Mathematics
Index
View article source
Discussion
(0)
Subscribe (1)
New discussion
There are no discussions about this article yet.
Articles by others on the same topic
(0)
There are currently no matching articles.
See all articles in the same topic
Create my own version
