Lista över formella system

Detta är en lista över formella system , även känd som logiska kalkyler.

Matematisk

Domain relational calculus , en kalkyl för relationsdatamodellen
Funktionskalkyl , ett sätt att tillämpa olika typer av funktioner på operatorer
Gå med i calculus , en teoretisk modell för distribuerad programmering
Lambdakalkyl , en formulering av teorin om reflexiva funktioner som har djupa kopplingar till beräkningsteori
Matriskalkyl , en specialiserad notation för multivariabelkalkyl över rum av matriser
Modal μ-kalkyl , en vanlig tidslogik som används av formella verifieringsmetoder som modellkontroll
Pi-calculus , en formulering av teorin om samtidiga, kommunicerande processer som uppfanns av Robin Milner
Predikatkalkyl , specificerar reglerna för slutledning som styr predikats logik
Propositionskalkyl , specificerar reglerna för slutledning som styr propositionernas logik
Förfiningskalkyl , ett sätt att förfina modeller av program till effektiva program
Rho-kalkyl , introducerad som ett allmänt sätt att enhetligt integrera omskrivning och lambda-kalkyl
Tuple calculus , en kalkyl för relationsdatamodellen, inspirerade SQL-språket
Umbral calculus , kombinatoriken för vissa operationer på polynom
Vektorkalkyl (även kallad vektoranalys), som omfattar specialiserade notationer för multivariabel analys av vektorer i ett inre produktutrymme

Formell etik – formellt logiskt system för att beskriva och utvärdera "formen" i motsats till "innehållet" i etiska principer