Raclavský, J. On the Interaction of Semantics and Deduction in Transparent Intensional Logic (Is Tichý’s Logic a logic?). LLP 2013, 23, 57–68.