Publikace
- Antistructural Completeness in Propositional Logics2017 | Filozofická fakulta
- Antistructural completeness in propositional logics2017 | Filozofická fakulta
- Protonegationality and inconsistency lemmas Part I2017 | Filozofická fakulta
- Reductio ad contradictionem: an algebraic perspective2016 | Filozofická fakulta
- Consistency, Completeness, and Classicality2015 | Filozofická fakulta
- A Duality for Distributive Unimodal Logic2014 | Filozofická fakulta
- De Morgan logics with a notion of inconsistency2014 | Filozofická fakulta
- A duality for distributive unimodal logic2014 | Filozofická fakulta
- Extensions of the four-valued Belnap-Dunn logic2017 | Filozofická fakulta
- Cut elimination, identity elimination, and interpolation in super-Belnap logics2017 | Filozofická fakulta
Loading network view...