Freitag, Wolfgang, and Alexandra Zinke. “The Theory of Form Logic”. Logic and Logical Philosophy, vol. 21, no. 4, Dec. 2012, pp. 363–389, doi:10.12775/LLP.2012.017.