This is a list of formal systems, also known as logical calculi.
== Mathematical ==
Domain relational calculus, a calculus for the relational data model
Functional calculus, a way to apply various types of functions to operators
Join calculus, a theoretical model for distributed programming
Lambda calculus, a formulation of the theory of reflexive functions that has deep connections to computational theory
Matrix calculus, a specialized notation for multivariable calculus over spaces of matrices
Modal μ-calculus, a common temporal logic used by formal verification methods such as model checking...