Ryo Ishigaki

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

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2008

Sequent Calculi for Some Strict Implication Logics.

[BibT_eX]

[DOI]

Log. J. IGPL, 2008

2007

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

[BibT_eX]

[DOI]

Log. J. IGPL, 2007

Tree-Sequent Methods for Subintuitionistic Predicate Logics.

[BibT_eX]

[DOI]

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