logical calculus Synonyms

predicate calculus propositional calculus formal system