calculus

[calculus] has come to mean a set of rules for computing, as in the lambda calculus, or a set of rules for reasoning, as in the predicate calculus.

-- Wegner. The Object-Oriented Classification Paradigm. 1987