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