The noun propositional calculus can be countable or uncountable.
The singular form of propositional calculi is propositional calculus.