๐ 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