The following pages link to Proof calculus:
Displayed 15 items.
- Propositional calculus (← links | edit)
- Natural deduction (← links | edit)
- Sequent calculus (← links | edit)
- Sequent (← links | edit)
- Curry–Howard correspondence (← links | edit)
- Diagonal lemma (← links | edit)
- Formal system (← links | edit)
- Prenex normal form (← links | edit)
- Higher-order logic (← links | edit)
- Bunched logic (← links | edit)
- Analytic proof (← links | edit)
- Calculus (disambiguation) (← links | edit)
- Formal proof (← links | edit)
- Calculus of structures (← links | edit)
- Proof calculi (redirect page) (← links | edit)
- Proof theory (← links | edit)
- Bunched logic (← links | edit)
- Structural proof theory (← links | edit)
- Deep inference (← links | edit)