Title: On structurality of rules of inference
Subjects: Inference, Symbolic and mathematical Logic