implicational propositional calculus

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