List of formal systems

Short description: none

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

* Formal ethics

Music is a formal system too. Please have editors illuminate on this.

## See also

* Formal system - Mathematical model for deduction or proof systems

* v
* t
* e

Mathematical logic

General|

* Formal language
* Formation rule
* Formal proof
* Formal semantics
* Well-formed formula
* Set
* Element
* Class
* Classical logic
* Axiom
* Rule of inference
* Relation
* Theorem
* Logical consequence
* Type theory
* Symbol
* Syntax
* Theory

Systems|

* Formal system
* Deductive system
* Axiomatic system
* Hilbert style systems
* Natural deduction
* Sequent calculus

Traditional logic|

* Proposition
* Inference
* Argument
* Validity
* Cogency
* Syllogism
* Square of opposition
* Venn diagram

Propositional calculus
and Boolean logic

* Boolean functions
* Propositional calculus
* Propositional formula
* Logical connectives
* Truth tables
* Many-valued logic

Predicate logic|

* First-order
* Quantifiers
* Predicate
* Second-order
* Monadic predicate calculus

Naive set theory|

* Set
* Empty set
* Element
* Enumeration
* Extensionality
* Finite set
* Infinite set
* Subset
* Power set
* Countable set
* Uncountable set
* Recursive set
* Domain
* Codomain
* Image
* Map
* Function
* Relation
* Ordered pair

Set theory|

* Foundations of mathematics
* Zermelo–Fraenkel set theory
* Axiom of choice
* General set theory
* Kripke–Platek set theory
* Von Neumann–Bernays–Gödel set theory
* Morse–Kelley set theory
* Tarski–Grothendieck set theory

Model theory|

* Model
* Interpretation
* Non-standard model
* Finite model theory
* Truth value
* Validity

Proof theory|

* Formal proof
* Deductive system
* Formal system
* Theorem
* Logical consequence
* Rule of inference
* Syntax

Computability
theory|

* Recursion
* Recursive set
* Recursively enumerable set
* Decision problem
* Church–Turing thesis
* Computable function
* Primitive recursive function

0.00

(0 votes)

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

|

Retrieved from "https://handwiki.org/wiki/index.php?title=List_of_formal_systems&oldid=202671"
*[v]: View this template
*[t]: Discuss this template
*[e]: Edit this template