Ryo Ishigaki

According to our database, Ryo Ishigaki authored at least 3 papers between 2007 and 2008.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2008

Sequent Calculi for Some Strict Implication Logics.

Ryo Ishigaki, Ryo Kashima

Log. J. IGPL, 2008

2007

A Tree-Sequent Calculus for a Natural Predicate Extension of Visser's Propositional Logic.

Ryo Ishigaki, Kentaro Kikuchi

Log. J. IGPL, 2007

Tree-Sequent Methods for Subintuitionistic Predicate Logics.

Ryo Ishigaki, Kentaro Kikuchi

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2007