# List of formal systems

From HandWiki

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
- Pi-calculus, a formulation of the theory of concurrent, communicating processes that was invented by Robin Milner
- Predicate calculus, specifies the rules of inference governing the logic of predicates
- Propositional calculus, specifies the rules of inference governing the logic of propositions
- Refinement calculus, a way of refining models of programs into efficient programs
- Rho calculus, introduced as a general means to uniformly integrate rewriting and lambda calculus
- Tuple calculus, a calculus for the relational data model, inspired the SQL language
- Umbral calculus, the combinatorics of certain operations on polynomials
- Vector calculus (also called vector analysis), comprising specialized notations for multivariable analysis of vectors in an inner-product space

## Other formal systems

## See also

Original source: https://en.wikipedia.org/wiki/ List of formal systems.
Read more |