- Lindenbaum and Pair Extension Lemma in Infinitary Logics2018 | Filozofická fakulta
- Lindenbaum-style proof of completeness for infinitary logics2017 | Filozofická fakulta
- Lindenbaum and pair extension lemma in infinitary logics2018 | Filozofická fakulta
- Extension Properties and Subdirect Representation in Abstract Algebraic Logic2018 | Filozofická fakulta