Seznam formálních systémů - List of formal systems

Toto je seznam formální systémy, známé také jako logické kameny.

Matematický

Relační počet domén, počet pro relační datový model
Funkční počet, způsob použití různých typů funkcí na operátory
Připojte se k počtu, teoretický model pro distribuované programování
Lambda kalkul, formulace teorie reflexních funkcí, která má hluboké vazby na výpočetní teorii
Maticový počet, specializovaná notace pro více proměnný počet nad prostory matic
Modální μ-kalkul, běžná časová logika používaná formálními ověřovacími metodami, jako je kontrola modelu
Pi-počet, formulace teorie souběžných komunikačních procesů, kterou vynalezl Robin Milner
Predikční počet, určuje pravidla pro odvození, která řídí logiku predikátů
Výrokový počet, specifikuje pravidla odvození, která řídí logiku výroků
Zušlechťovací počet, způsob rafinace modelů programů na efektivní programy
Rho kalkul, představený jako obecný prostředek k jednotné integraci přepisování a lambda kalkulu
Tuple počet, kalkul pro relační datový model, inspiroval jazyk SQL
Pupeční kalkul, kombinatorika určitých operací na polynomech
Vektorový počet (nazývaná také vektorová analýza), obsahující specializované notace pro multivariační analýzu vektorů v prostoru vnitřního produktu