Citkin A. A meta-logic of inference rules: Syntax. LLP [Internet]. 2015 Mar. 9 [cited 2025 Dec. 31];24(3):313–337. Available from: https://apcz.umk.pl/LLP/article/view/LLP.2015.007