Freitag, W. and Zinke, A. (2012) “The theory of form logic”, Logic and Logical Philosophy, 21(4), pp. 363–389. doi: 10.12775/LLP.2012.017.