implicational propositional calculus

Human sciences, Logic, Mathematics, Philosophy, Sciences A minimalist version of propositional calculus which uses only the logical connectives → ("implies") and ⊥ ("false").