Negation (minimal logic) §

Introduction Rule §

$[A{]}_i$ $⋮$ $\frac{\perp }{\neg A}i$

Elimination Rule §

$\frac{A\neg A}{\perp }$