Ryo Ishigaki Ryo Kashima Sequent Calculi for Some Strict Implication Logics. 155-174 2008 16 Logic Journal of the IGPL 2 http://dx.doi.org/10.1093/jigpal/jzm058 db/journals/igpl/igpl16.html#IshigakiK08