implicational propositional calculus English

Meaning implicational propositional calculus meaning

What does implicational propositional calculus mean?

implicational propositional calculus noun

— (logic) A minimalist version of propositional calculus which uses only the logical connectives \to ("implies") and \bot ("false").