📏 Calculus

=== a method of computation in a special notation¹==

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

Footnotes

1. Calculus Definition & Meaning - Merriam-Webster ↩