The noun predicate calculus is uncountable.
The plural form of predicate calculus is also predicate calculus.