Author Info
Name
Affiliation
Papers
RYO TAKEMURA
College of Commerce, Nihon University, Japan
18
Collaborators
Citations 
PageRank 
11
85
9.52
Referers 
Referees 
References 
52
159
161
Search Limit
100159
Title
Citations
PageRank
Year
Completeness of Second-Order Intuitionistic Propositional Logic with Respect to Phase Semantics for Proof-Terms00.342019
Counter-Example Construction with Euler Diagrams20.372015
Euler diagrams as an introduction to set-theoretical models.00.342015
Towards explaining the cognitive efficacy of Euler diagrams in syllogistic reasoning: A relational perspective.50.452014
Proof Theory for Reasoning with Euler Diagrams: A Logic Translation and Normalization40.452013
A Generalized Syllogistic Inference System based on Inclusion and Exclusion Relations40.412012
A logical investigation on global reading of diagrams00.342012
On the Cognitive Efficacy of Euler Diagrams in Syllogistic Reasoning: A Relational Perspective.30.382012
A Diagrammatic Inference System with Euler Circles160.932012
Proof-Theoretical investigation of venn diagrams: a logic translation and free rides10.362012
Interpreting logic diagrams: a comparison of two formulations of diagrammatic representations.70.672011
A phase semantics for polarized linear logic and second order conservativity10.352010
The efficacy of euler and Venn diagrams in deductive reasoning: empirical findings150.992010
Two types of diagrammatic inference systems: natural deduction style and resolution style90.972010
Diagrammatic Reasoning System with Euler Circles: Theory and Experiment Design141.012008
An Indexed System for Multiplicative Additive Polarized Linear Logic30.442008
Remarks on Semantic Completeness for Proof-Terms with Laird's Dual Affine/Intuitionistic lambda -Calculus00.342007
Verification of authentication protocols based on the binding relation10.372002