Pages that link to "Proof theory"
Jump to navigation
Jump to search
The following pages link to Proof theory:
Displaying 50 items.
- Logical disjunction (← links)
- David Hilbert (← links)
- Discrete mathematics (← links)
- Formal language (← links)
- First-order logic (← links)
- Gödel's completeness theorem (← links)
- If and only if (← links)
- John von Neumann (← links)
- Propositional calculus (← links)
- Lambda calculus (← links)
- Mathematics (← links)
- Mathematical logic (← links)
- Model theory (← links)
- Primitive recursive function (← links)
- Theorem (← links)
- Philosophy of mathematics (← links)
- Natural deduction (← links)
- Gödel's incompleteness theorems (← links)
- History of logic (← links)
- Abductive reasoning (← links)
- Consistency (← links)
- Mathematical proof (← links)
- Combinatory logic (← links)
- Kőnig's lemma (← links)
- Computability theory (← links)
- Truth value (← links)
- Foundations of mathematics (← links)
- Sequent calculus (← links)
- Sequent (← links)
- Curry–Howard correspondence (← links)
- Reverse mathematics (← links)
- Partition of a set (← links)
- Second-order logic (← links)
- Intuitionistic type theory (← links)
- Typed lambda calculus (← links)
- Metalogic (← links)
- Game semantics (← links)
- Material conditional (← links)
- Laws of Form (← links)
- Quantum logic (← links)
- Structural rule (← links)
- Cut-elimination theorem (← links)
- Structural proof theory (← links)
- Coherent space (← links)
- Self-verifying theories (← links)
- Method of analytic tableaux (← links)
- Admissible rule (← links)
- Conservative extension (← links)
- Craig interpolation (← links)
- Heyting arithmetic (← links)