Citkin, A. A Meta-Logic of Inference Rules: Syntax. LLP 2015, 24, 313–337.