Pages that link to "Sequent calculus"
Jump to navigation
Jump to search
The following pages link to Sequent calculus:
Displaying 50 items.
- Calculus (← links)
- First-order logic (← links)
- Propositional calculus (← links)
- Modus ponens (← links)
- Mathematical logic (← links)
- Proof by contradiction (← links)
- Type theory (← links)
- Natural deduction (← links)
- History of logic (← links)
- Abductive reasoning (← links)
- Proof theory (← links)
- Relevance logic (← links)
- Rule of inference (← links)
- Sequent (← links)
- Curry–Howard correspondence (← links)
- Modal logic (← links)
- Typing rule (← links)
- Metalogic (← links)
- Substructural logic (← links)
- Paraconsistent logic (← links)
- Deduction theorem (← links)
- Quantum logic (← links)
- Structural rule (← links)
- Cut-elimination theorem (← links)
- Kripke semantics (← links)
- Bunched logic (← links)
- Structural proof theory (← links)
- Method of analytic tableaux (← links)
- Cut rule (← links)
- Admissible rule (← links)
- Idempotency of entailment (← links)
- Craig interpolation (← links)
- Herbrand's theorem (← links)
- DPLL algorithm (← links)
- Proof complexity (← links)
- Theory (mathematical logic) (← links)
- Multiple-conclusion logic (← links)
- Turnstile (symbol) (← links)
- Hilbert system (← links)
- Łukasiewicz logic (← links)
- KeY (← links)
- Minimal logic (← links)
- Suppes–Lemmon notation (← links)
- Frege system (← links)
- Propositional proof system (← links)
- Proof compression (← links)
- Conflict-driven clause learning (← links)
- Logic (← links)
- Hypersequent (← links)
- Boolean algebra (← links)