Transparentní intenzionální logika jako characteristica universalis a calculus ratiocinatorPetr KuchyňkaAusverkauftBewachen