research
∙
04/14/2022
Routley Star in Information-Based Semantics
It is common in various non-classical logics, especially in relevant log...
research
∙
04/14/2022
Natural Deduction for Assertibility and Deniability
In this paper we split every basic propositional connective into two ver...
research
∙
09/25/2019