Misplaced Pages

The following pages link to Proof theory

• (link count
• transclusion count
• sorted list) · See help page for transcluding these entries

Showing 50 items.

• Proof by exhaustion (links | edit)
• Typed lambda calculus (links | edit)
• Cardinal assignment (links | edit)
• Von Neumann cardinal assignment (links | edit)
• Regular cardinal (links | edit)
• Successor cardinal (links | edit)
• Large cardinal (links | edit)
• Metalogic (links | edit)
• Formal system (links | edit)
• Metalanguage (links | edit)
• Well-formed formula (links | edit)
• Index of philosophy articles (I–Q) (links | edit)
• Von Neumann universe (links | edit)
• List of superseded scientific theories (links | edit)
• Map (mathematics) (links | edit)
• Von Neumann–Bernays–Gödel set theory (links | edit)
• Saturated model (links | edit)
• Syntax (logic) (links | edit)
• Higher-order logic (links | edit)
• Stratification (mathematics) (links | edit)
• Jean-Yves Girard (links | edit)
• Linear logic (links | edit)
• Tarski's undefinability theorem (links | edit)
• List of theorems (links | edit)
• Semantic theory of truth (links | edit)
• Hilbert's program (links | edit)
• Expression (mathematics) (links | edit)
• Game semantics (links | edit)
• Transfer principle (links | edit)
• Urelement (links | edit)
• Material conditional (links | edit)
• Laws of Form (links | edit)
• Quantum logic (links | edit)
• List of mathematical theories (links | edit)
• Element (mathematics) (links | edit)
• List of statements independent of ZFC (links | edit)
• Axiom of constructibility (links | edit)
• Structural rule (links | edit)
• Boolean function (links | edit)
• Hybrid logic (links | edit)
• Axiom schema (links | edit)
• Setoid (links | edit)
• Hilbert's axioms (links | edit)
• Calculus ratiocinator (links | edit)
• Ludics (links | edit)
• Semantics of logic (links | edit)
• Cut-elimination theorem (links | edit)
• Proof-theoretic semantics (links | edit)
• Dag Prawitz (links | edit)
• Decidability (logic) (links | edit)