Synonyms for Predicate Calculus (same or very similar meaning)
WordNet sense 1 (a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)):
functional calculusFrom the ODE community, based on WordNetadd/edit