Publikace
- Completely separably MAD families and the modal logic of $\beta\omega$2022 | Filozofická fakulta
- Lindenbaum-style proof of completeness for infinitary logics Part II2018 | Filozofická fakulta
- Lindenbaum-style proof of completeness for infinitary logics Part I2018 | Filozofická fakulta
- Extension Properties and Subdirect Representation in Abstract Algebraic Logic2018 | Filozofická fakulta
- Antistructural Completeness in Propositional Logics2017 | Filozofická fakulta
- Antistructural completeness in propositional logics2017 | Filozofická fakulta
- A New Hierarchy of Infinitary Logics in Abstract Algebraic Logic2017 | Filozofická fakulta
- Modal logics: Topological interpretation2017 | Filozofická fakulta
- Lindenbaum-style proof of completeness for infinitary logics2017 | Filozofická fakulta
- Protonegationality and inconsistency lemmas Part I2017 | Filozofická fakulta
Loading network view...