implicational propositional calculus

Noun

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