Katsumasa Ishii Ryo Kashima Kentaro Kikuchi Sequent Calculi for Visser's Propositional Logics. 1-22 2001 42 Notre Dame Journal of Formal Logic 1 db/journals/ndjfl/ndjfl42.html#IshiiKK01