Publications
- A Duality for Distributive Unimodal Logic2014 | Faculty of Arts
- A duality for distributive unimodal logic2014 | Faculty of Arts
- Antistructural Completeness in Propositional Logics2017 | Faculty of Arts
- Antistructural completeness in propositional logics2017 | Faculty of Arts
- Extensions of the four-valued Belnap-Dunn logic2017 | Faculty of Arts
- Cut elimination, identity elimination, and interpolation in super-Belnap logics2017 | Faculty of Arts
- An algebraic view of super-Belnap logics2017 | Faculty of Arts
- Contradictory information as a basis for rational belief +12017 | Faculty of Arts
- General Approach to Inconsistency Lemmas2017 | Faculty of Arts
- Protonegationality and inconsistency lemmas Part II2017 | Faculty of Arts
Loading network view...