Title: Admissibility of Logical Inference Rules
Subjects: Inference, Logic, symbolic and mathematical