 Minimal logic \(\mathbf{ML}\) comes from intuitionistic logic by deleting ex falso. Kolmogorov [1925] showed that this fragment already contains a negative interpretation of classical logic retaining both quantifiers, cf. Leivant [1985]. Minimal logic does prove the special case \(\neg A \rightarrow (A \rightarrow \neg B)\) of ex falso for negations. Colacito, de Jongh and Vardas [2017] study various subminimal logics, each weaker than \(\mathbf{ML}.\)