implicational propositional calculus
noun
°A minimalist version of propositional calculus which uses only the logical connectives ("implies") and ("false").