implicational propositional calculus

{{logic}} A minimalist version of propositional calculus which uses only the logical connectives <math>\to</math> ("implies") and <math>\bot</math> ("false").