Admissibility of Logical Inference Rules by Vladimir V. Rybakov