predicate calculus Synonyms

functional calculus formal logic first-order deduction first-order formalism first-order language first-order predicate calculus first-order reasoning first-order theory elementary logic predicate logic logical calculus FOL first-order logic classical logic propositional logic propositional calculus symbolic logic mathematical logic quantificational logic