Pages that link to "Proof theory"
Jump to navigation
Jump to search
The following pages link to Proof theory:
Displaying 35 items.
- Non-monotonic logic (← links)
- Second-order logic (← links)
- Intuitionistic type theory (← links)
- Solomon Feferman (← links)
- Correctness (computer science) (← links)
- Typed lambda calculus (← links)
- Metalogic (← links)
- Substructural logic (← links)
- Jean-Yves Girard (← links)
- Linear logic (← links)
- List of theorems (← links)
- Hilbert's program (← links)
- Game semantics (← links)
- Provability logic (← links)
- Laws of Form (← links)
- Quantum logic (← links)
- Structural rule (← links)
- Hybrid logic (← links)
- Setoid (← links)
- Calculus ratiocinator (← links)
- Ludics (← links)
- Cut-elimination theorem (← links)
- Proof-theoretic semantics (← links)
- Dag Prawitz (← links)
- Proof net (← links)
- Structural proof theory (← links)
- Coherent space (← links)
- Analytic proof (← links)
- Self-verifying theories (← links)
- Method of analytic tableaux (← links)
- Normal form (natural deduction) (← links)
- Admissible rule (← links)
- Formal proof (← links)
- Vero - Wikipedia:Historical archive/Changing attribution for an edit/Previous discussion (← links)
- Category:Mathematical logic (← links)