Admissible Rules and Proof Theoretic Definability
A detailed guide to admissible rules and proof theoretic definability. Covers key methods, mathematical significance, and real-world applications.
Mathematics Category
Proof Theory
50 articles
≈ 500 min total reading
Bounded Arithmetic and Weak Systems of Computation
A detailed guide to bounded arithmetic and weak systems of computation. Covers key methods, mathematical significance, and real-world applications.
Categorical Proof Theory and Internal Language
A detailed guide to categorical proof theory and internal language. Covers key methods, mathematical significance, and real-world applications.
Constructive Mathematics and BHK Interpretation
A detailed guide to constructive mathematics and bhk interpretation. Covers key methods, mathematical significance, and real-world applications.
Curry Howard Correspondence Between Proofs and Programs
A detailed guide to curry howard correspondence between proofs and programs. Covers key methods, mathematical significance, and real-world applications.
Cut Elimination Algorithms and Computational Complexity
A detailed guide to cut elimination algorithms and computational complexity. Covers key methods, mathematical significance, and real-world applications.
Cut Elimination and Computational Interpretation
A detailed guide to cut elimination and computational interpretation. Covers key methods, mathematical significance, and real-world applications.
Cut Elimination for Second Order and Higher Logics
A detailed guide to cut elimination for second order and higher logics. Covers key methods, mathematical significance, and real-world applications.
Cut Free Computations and Proof Search Algorithms
A detailed guide to cut free computations and proof search algorithms. Covers key methods, mathematical significance, and real-world applications.
Descriptive Complexity and Proof Length Lower Bounds
A detailed guide to descriptive complexity and proof length lower bounds. Covers key methods, mathematical significance, and real-world applications.
Dialectica Interpretation and Realizability
A detailed guide to dialectica interpretation and realizability. Covers key methods, mathematical significance, and real-world applications.
Extraction of Programs from Constructive Proofs
A detailed guide to extraction of programs from constructive proofs. Covers key methods, mathematical significance, and real-world applications.
Game Semantics for Proof Theoretic Analysis
A detailed guide to game semantics for proof theoretic analysis. Covers key methods, mathematical significance, and real-world applications.
Gentzen Consistency Proof for Peano Arithmetic
A detailed guide to gentzen consistency proof for peano arithmetic. Covers key methods, mathematical significance, and real-world applications.
Hilbert Style Axiomatic Proof Systems
A detailed guide to hilbert style axiomatic proof systems. Covers key methods, mathematical significance, and real-world applications.
Homotopy Type Theory and Univalent Foundations
A detailed guide to homotopy type theory and univalent foundations. Covers key methods, mathematical significance, and real-world applications.
Implicit Computational Complexity and Proof Systems
A detailed guide to implicit computational complexity and proof systems. Covers key methods, mathematical significance, and real-world applications.
Inversion Principle and Analytic Proofs
A detailed guide to inversion principle and analytic proofs. Covers key methods, mathematical significance, and real-world applications.
Linear Logic and Proof Nets for Concurrent Computation
A detailed guide to linear logic and proof nets for concurrent computation. Covers key methods, mathematical significance, and real-world applications.
Logic of Proofs and Modal Reflection Principles
A detailed guide to logic of proofs and modal reflection principles. Covers key methods, mathematical significance, and real-world applications.
Modal Proof Theory and Provability Logic
A detailed guide to modal proof theory and provability logic. Covers key methods, mathematical significance, and real-world applications.
Natural Deduction and Gentzen Style Inference Rules
A detailed guide to natural deduction and gentzen style inference rules. Covers key methods, mathematical significance, and real-world applications.
Nonmonotonic Proof Theory and Defeasible Reasoning
A detailed guide to nonmonotonic proof theory and defeasible reasoning. Covers key methods, mathematical significance, and real-world applications.
Ordinal Analysis and Proof Theoretic Strength
A detailed guide to ordinal analysis and proof theoretic strength. Covers key methods, mathematical significance, and real-world applications.
Ordinal Analysis of Set Theories and Large Cardinals
A detailed guide to ordinal analysis of set theories and large cardinals. Covers key methods, mathematical significance, and real-world applications.
Ordinal Assignment and Termination Proofs
A detailed guide to ordinal assignment and termination proofs. Covers key methods, mathematical significance, and real-world applications.
Paraconsistent Proof Theory and Non Explosion
A detailed guide to paraconsistent proof theory and non explosion. Covers key methods, mathematical significance, and real-world applications.
Proof Complexity and Lower Bounds for Proofs
A detailed guide to proof complexity and lower bounds for proofs. Covers key methods, mathematical significance, and real-world applications.
Proof Mining and Unwinding of Proofs
A detailed guide to proof mining and unwinding of proofs. Covers key methods, mathematical significance, and real-world applications.
Proof Nets and Geometry of Interaction
A detailed guide to proof nets and geometry of interaction. Covers key methods, mathematical significance, and real-world applications.
Proof Normalization and Cut Free Proofs
A detailed guide to proof normalization and cut free proofs. Covers key methods, mathematical significance, and real-world applications.
Proof Theoretic Analysis of Mathematical Induction
A detailed guide to proof theoretic analysis of mathematical induction. Covers key methods, mathematical significance, and real-world applications.
Proof Theoretic Foundations of Mathematics and Logicism
A detailed guide to proof theoretic foundations of mathematics and logicism. Covers key methods, mathematical significance, and real-world applications.
Proof Theoretic Semantics and Default Reasoning
A detailed guide to proof theoretic semantics and default reasoning. Covers key methods, mathematical significance, and real-world applications.
Proof Theoretic Techniques in Model Theory
A detailed guide to proof theoretic techniques in model theory. Covers key methods, mathematical significance, and real-world applications.
Proof Theory for Algebraic Logic and Lattice Theory
A detailed guide to proof theory for algebraic logic and lattice theory. Covers key methods, mathematical significance, and real-world applications.
Proof Theory for Category Theory and Higher Categories
A detailed guide to proof theory for category theory and higher categories. Covers key methods, mathematical significance, and real-world applications.
Proof Theory for Conditional and Counterfactual Logic
A detailed guide to proof theory for conditional and counterfactual logic. Covers key methods, mathematical significance, and real-world applications.
Proof Theory for First Order Modal Logic
A detailed guide to proof theory for first order modal logic. Covers key methods, mathematical significance, and real-world applications.
Proof Theory for Inductive Definitions and Fixed Points
A detailed guide to proof theory for inductive definitions and fixed points. Covers key methods, mathematical significance, and real-world applications.
Proof Theory for Intuitionistic Fixed Point Logic
A detailed guide to proof theory for intuitionistic fixed point logic. Covers key methods, mathematical significance, and real-world applications.
Proof Theory of Arithmetic and Subsystems of Analysis
A detailed guide to proof theory of arithmetic and subsystems of analysis. Covers key methods, mathematical significance, and real-world applications.
Proof Theory of Non Classical Logics and Intuitionism
A detailed guide to proof theory of non classical logics and intuitionism. Covers key methods, mathematical significance, and real-world applications.
Resolution Refutation and Clause Learning
A detailed guide to resolution refutation and clause learning. Covers key methods, mathematical significance, and real-world applications.
Sequent Calculus and Cut Elimination Theorem
A detailed guide to sequent calculus and cut elimination theorem. Covers key methods, mathematical significance, and real-world applications.
Structural Proof Theory and Deep Inference
A detailed guide to structural proof theory and deep inference. Covers key methods, mathematical significance, and real-world applications.
Structural Rules Weakening Contraction and Exchange
A detailed guide to structural rules weakening contraction and exchange. Covers key methods, mathematical significance, and real-world applications.
Substructural Logics and Resource Sensitive Reasoning
A detailed guide to substructural logics and resource sensitive reasoning. Covers key methods, mathematical significance, and real-world applications.
Term Rewriting and Strong Normalization Results
A detailed guide to term rewriting and strong normalization results. Covers key methods, mathematical significance, and real-world applications.
Type Theoretic Proof Systems and Dependent Types
A detailed guide to type theoretic proof systems and dependent types. Covers key methods, mathematical significance, and real-world applications.