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