Du?í, M., 2013. Deduction in TIL: From Simple to Ramified Hierarchy of Types. Organon F, 20, pp.5-36. Available at: http://www.klemens.sav.sk/fiusav/doc/organon/prilohy/2013/2/5-36.pdf.