- Where is the Gödel-Point hiding: Gentzen's Consistency Proof of 1936 and his Representation of Constructive Ordinals2014 | Filozofická fakulta
- Completeness of predicate Gentzen calculus with respect to intuitionistic Kripke semantics2013 | Filozofická fakulta
- On Language Levels of a Theory2003 | Publikace bez příslušnosti k fakultě
- Proof systems for Moss' coalgebraic logic2014 | Filozofická fakulta
- Cut elimination, identity elimination, and interpolation in super-Belnap logics2017 | Filozofická fakulta
- Důkazové systémy pro koalgebraickou modalitu2008 | Filozofická fakulta
- Expander Construction in VNC12017 | Matematicko-fyzikální fakulta
- Expander construction in VNC12020 | Matematicko-fyzikální fakulta