Citkin, Alex. 2015. “A Meta-Logic of Inference Rules: Syntax”. Logic and Logical Philosophy 24 (3):313–337. https://doi.org/10.12775/LLP.2015.007.