Material conditional (minimal logic)

Introduction Rule

$[A{]}_i$ $⋮$ $\frac{B}{A\to B}i$

Elimination Rule

$\frac{A\to B}{B}$