Category:Proof theory
Here is a list of articles in the category Proof theory.
Pages in category "Proof theory"
The following 90 pages are in this category, out of 90 total.
C
D
G
P
- Philosophy:Paraconsistent mathematics
- Philosophy:Peano–Russell notation
- Presburger arithmetic
- Primitive recursive functional
- Proof (truth)
- Philosophy:Proof calculus
- Philosophy:Proof compression
- Philosophy:Proof mining
- Philosophy:Proof net
- Philosophy:Proof procedure
- Philosophy:Proof-theoretic semantics
- Philosophy:Provability logic
- Ψ₀(Ωω)
- Pure type system
