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