Ryo Ishigaki (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

2 Ryo Ishigaki, Kentaro Kikuchi: Tree-Sequent Methods for Subintuitionistic Predicate Logics. TABLEAUX 2007: 149-164

1 Ryo Ishigaki, Kentaro Kikuchi: A Tree-Sequent Calculus for a Natural Predicate Extension of Visser's Propositional Logic. Logic Journal of the IGPL 15(2): 149-164 (2007)

Selection of 2 from 3 records - Ryo Ishigaki has 2 coauthors

2		Ryo Ishigaki, Kentaro Kikuchi: Tree-Sequent Methods for Subintuitionistic Predicate Logics. TABLEAUX 2007: 149-164
1		Ryo Ishigaki, Kentaro Kikuchi: A Tree-Sequent Calculus for a Natural Predicate Extension of Visser's Propositional Logic. Logic Journal of the IGPL 15(2): 149-164 (2007)