Citkin, A. (2015). A meta-logic of inference rules: Syntax. Logic and Logical Philosophy, 24(3), 313–337. https://doi.org/10.12775/LLP.2015.007