Algunos ejemplos de otros cálculos bien conocidos son el cálculo aplicado, cálculo proposicional, el cálculo predicativo, el cálculo relacional y el cálculo lambda.