The noun implicational propositional calculus is uncountable.
The plural form of implicational propositional calculus is also implicational propositional calculus.