proof-theory

Articles

• Primitive recursive functional
• Proof procedureSystematic method for producing proofs
• Resolution proof compression by splitting
• Tolerant sequence
• Analytic proofFundamental theory of logical analysis
• Analytic proofFundamental theory of logical analysis
• Proof procedureSystematic method for producing proofs
• Primitive recursive functional
• Analytic proofFundamental theory of logical analysis
• Primitive recursive functional
• Nonrecursive ordinalOrder type of the set of all recursive ordinals
• Structural proof theorySubdiscipline of proof theory
• Proof procedureSystematic method for producing proofs
• Dialectica interpretationArithmetical concept
• Ordinal analysisMathematical technique used in proof theory
• Double-negation translation
• Primitive recursive functional
• Analytic proofFundamental theory of logical analysis
• Proof procedureSystematic method for producing proofs
• Primitive recursive functional
• Analytic proofFundamental theory of logical analysis
• Dialectica interpretationArithmetical concept
• Ordinal analysisMathematical technique used in proof theory
• Proof procedureSystematic method for producing proofs
• Ω-consistent theoryMathematical theory
• Proof compression
• Weak interpretability
• Structural ruleRule of mathematical logic
• Peano–Russell notation