Publications
- Cut elimination, identity elimination, and interpolation in super-Belnap logics2017 | Faculty of Arts
- Embedding l-bimonoids into involutive residuated lattices2016 | 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
- 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
- Protonegationality and inconsistency lemmas Part I2017 | Faculty of Arts
Loading network view...