- Independence of Axioms in Non-Classical Logics and ATP2009 | Filozofická fakulta
- Dokazatelnost v hilbertovských kalkulech pro neklasické logiky a ATPPublikace bez příslušnosti k fakultě
- Connections Among Some Non-Classical Logics - interní materiály2001 | Filozofická fakulta
- Nezávislost axiomů v neklasických logikách a automatické dokazování větPublikace bez příslušnosti k fakultě
- On the Independence of Axioms in BL and MTL2012 | Filozofická fakulta
- O nutnosti v básnické řeči2017 | Publikace bez příslušnosti k fakultě
- SPASS verze 3.52009 | Matematicko-fyzikální fakulta
- Logika v právním myšlení2000 | Právnická fakulta
- Logika: neúplnost, složitost a nutnost2002 | Filozofická fakulta
- Cut elimination, identity elimination, and interpolation in super-Belnap logics2017 | Filozofická fakulta
- Logica ludus2006 | Filozofická fakulta
- General Approach to Inconsistency Lemmas2017 | Filozofická fakulta
- Význam jako inferenční role2006 | Filozofická fakulta
- Logic of QuestionsPublikace bez příslušnosti k fakultě