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