Proof theory

Aucun article

Natural deduction Sequent calculus Proof complexity Cut elimination Structural proof theory Proof calculus Proof procedure Hilbert system Sequent Hypersequent Nested sequent calculus Deep inference Cut elimination theorem Gentzens consistency proof Analytic proof Focused proof Proof net Realizability Dialectica interpretation Double negation translation Friedman translation Disjunction and existence properties Herbrands theorem Epsilon calculus Deduction theorem Structural rule Weakening logic Contraction logic Consistency proof Godels speed up theorem Takeutis conjecture Geometry of interaction Proof mining Proof compression Redundant proof Proof theoretic semantics Proof truth Non surveyable proof Tolerant sequence Cotolerant sequence Cirquent calculus Lambda mu calculus Completeness of atomic initial sequents Brouwerheytingkolmogorov interpretation B chi arithmetic Bachmann howard ordinal Bounded quantifier Brouwer heyting kolmogorov interpretation Buchholzs ordinal Completeness Conditional proof Conservative extension Consistency Consistent theory Counterexample Curry howard correspondence Decidability Decidable sublanguages of set theory Elementary function arithmetic Extension by definition Extension by new constant and function names Fast growing hierarchy Feferman sch tte ordinal G dels completeness theorem G dels incompleteness theorem G dels speed up theorem Hardy hierarchy Hilberts program Implicit computational complexity Interpretability Japaridzes polymodal logic Judgment Large countable ordinal Lowerunits Mathematical fallacy Metalanguage Method of analytic tableaux Nonrecursive ordinal Ordinal notation Original proof of g dels completeness theorem Paraconsistent mathematics Peano russell notation Presburger arithmetic Primitive recursive functional Proof Proof by exhaustion Proof of impossibility Provability logic Pure type system Recycleunits Resolution Resolution proof compression by splitting Resolution proof reduction via local context rewriting Reverse mathematics Reverse mathematics proofs from the inside out Self verifying theories Setoid Slicing the truth Slow growing hierarchy Soundness System u Takeuti feferman buchholz ordinal Theories of iterated inductive definitions Turnstile Veblen function Viper microprocessor Weak interpretability

Pas encore d'articles dans cette catégorie — ça arrive.