Search
The Online Encyclopedia and Dictionary
Encyclopedia
Dictionary
Quotes
Categories
:
Mathematical logic
Category:Proof theory
Proof theory
is the mathematical study of formalised arguments.
Articles in category "Proof theory"
There are 18 articles in this category.
Analytic proof
C
Consistency proof
Curry-Howard
D
Disjunction and existence properties
G
Gödel's completeness theorem
Gödel's incompleteness theorem
H
Hilbert's program
I
Invalid proof
M
Mathematical induction
Method of analytic tableaux
N
Natural deduction
P
Proof calculus
Proof net
P cont.
Proof procedure
Proof theory
S
Self-verifying theories
Sequent calculus
Structural proof theory
Categories
:
Mathematical logic
The contents of this article are licensed from
Wikipedia.org
under the
GNU Free Documentation License
. How to see
transparent copy
