Tree-Sequent Methods for Subintuitionistic Predicate Logics. - Ryo Ishigaki; Kentaro Kikuchi (TABLEAUX, 2007)

A Tree-Sequent Calculus for a Natural Predicate Extension of Visser's Propositional Logic. - Ryo Ishigaki; Kentaro Kikuchi (Log. J. IGPL, 2007)

Sequent Calculi for Some Strict Implication Logics. - Ryo Ishigaki; Ryo Kashima (Log. J. IGPL, 2008)