The following pages link to Proof theory
External toolsShowing 50 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Proof net (links | edit)
- Structural proof theory (links | edit)
- Coherent space (links | edit)
- Atomic sentence (links | edit)
- New Foundations (links | edit)
- Algebra of sets (links | edit)
- Elementary equivalence (links | edit)
- Analytic proof (links | edit)
- Self-verifying theories (links | edit)
- Predicate variable (links | edit)
- Method of analytic tableaux (links | edit)
- T-schema (links | edit)
- Grothendieck universe (links | edit)
- Non-well-founded set theory (links | edit)
- Categorical theory (links | edit)
- Kripke–Platek set theory (links | edit)
- Computable function (links | edit)
- Independence (mathematical logic) (links | edit)
- Admissible rule (links | edit)
- Formal proof (links | edit)
- Mostowski collapse lemma (links | edit)
- Skolem's paradox (links | edit)
- Johan van Benthem (logician) (links | edit)
- Martin's axiom (links | edit)
- Propositional variable (links | edit)
- Propositional formula (links | edit)
- Proof procedure (links | edit)
- Free logic (links | edit)
- Prime model (links | edit)
- Fodor's lemma (links | edit)
- Diagonal intersection (links | edit)
- Club filter (links | edit)
- Finite model theory (links | edit)
- Mathematical structure (links | edit)
- Conservative extension (links | edit)
- Ivor Grattan-Guinness (links | edit)
- Ground expression (links | edit)
- Back-and-forth method (links | edit)
- Craig interpolation (links | edit)
- Substructure (mathematics) (links | edit)
- Extension by new constant and function names (links | edit)
- Sentence (mathematical logic) (links | edit)
- Truth-value semantics (links | edit)
- Tarski's axioms (links | edit)
- Generic filter (links | edit)
- Paul Lorenzen (links | edit)
- Transitive set (links | edit)
- Epsilon-induction (links | edit)
- Robinson arithmetic (links | edit)
- Heyting arithmetic (links | edit)