J. Raclavský, “On the interaction of semantics and deduction in Transparent Intensional Logic (Is Tichý’s logic a logic?)”, LLP, vol. 23, no. 1, pp. 57–68, Oct. 2013.