Freitag, W.; Zinke, A. The Theory of Form Logic. LLP 2012, 21, 363–389.