Pages that link to "Sequent calculus"
The following pages link to Sequent calculus:
Displaying 12 items.
- Calculus (← links | edit)
- First-order logic (← links | edit)
- Propositional calculus (← links | edit)
- Modus ponens (← links | edit)
- Mathematical logic (← links | edit)
- Proof by contradiction (← links | edit)
- Type theory (← links | edit)
- Gerhard Gentzen (← links | edit)
- Natural deduction (← links | edit)
- History of logic (← links | edit)
- Abductive reasoning (← links | edit)
- Proof theory (← links | edit)