Calculus (disambiguation)

Calculus (from Latin calculus meaning ‘pebble’, plural calculī) in its most general sense is any method or system of calculation.

Calculus may refer to:



  • Logical calculus, a formal system that defines a language and rules to derive an expression from premises
  • Calculus of relations, the manipulation of binary relations with the algebra of sets, composition of relations, and transpose relations
  • Epsilon calculus, a logical language which replaces quantifiers with the epsilon operator
  • Fitch-style calculus, a method for constructing formal proofs used in first-order logic
  • Modal μ-calculus, a common temporal logic used by formal verification methods such as model checking


Formal languageEdit

Other meaningsEdit