📏 Calculus
= a method of computation in a special notation1
Consists of
- A set of decidable axioms
- A set of decidable inference rules
Use case
- show ✅ Proof (logic)
Types
- Hilbert calculi
- many axioms, few inference rules
- 🌾 Calculus of natural reasoning
- 🏛️ Classical Logic