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