logical calculus

Noun

 * 1)  A formal system.

Synonyms

 * formal system

Hyponyms

 * propositional calculus
 * predicate calculus