I am a researcher at the Institute of Computer Science and the Institute of Philosophy, The Czech Academy of Sciences in Prague, Czech Republic. I work mainly on non-classical logic.