Admissibility of Logical Inference Rules: Volume 136