Admissibility of logical inference rules
Admissibility of logical inference rules / Vladimir V. Rybakov