The noun implicational propositional calculus is uncountable.
The singular form of implicational propositional calculus is also implicational propositional calculus.
Win Amazon gift cards by writing simple stories at Fictish, a new story writing game backed by WordHippo.