We do not currently know of any antonyms for propositional calculi.
The noun propositional calculi is defined as: