Ryo Takemura

Publication Activity (10 Years)

Years Active: 2002-2022
Publications (10 Years): 10

Top Topics

Uci Benchmark Data

Reasoning Process

Defeasible Reasoning

Top Venues

J. Philos. Log.

Publications

Ryo Takemura
Logic and Majority Voting. J. Philos. Log. 51 (2) (2022)
Ryo Takemura
Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization. Arch. Math. Log. 60 (7) (2021)
Ryo Takemura
Euler Diagrams for Defeasible Reasoning. Diagrams (2020)
Ryo Takemura
Economic reasoning with demand and supply graphs. Math. Soc. Sci. 103 (2020)
Takafumi Miyazaki, Ryo Takemura, Takuya Harada, Noritomo Ouchi
Impact of Reabsorption of Spilled Knowledge on Patent Value. IEEM (2020)
Chihiro Yamada, Ryo Takemura, Tatsuki Fukushima, Noritomo Ouchi
Investigating Problems of Research and Development of Artificial Intelligence Technology in Japan. IEEM (2019)
Yuta Takahashi, Ryo Takemura
Completeness of Second-Order Intuitionistic Propositional Logic with Respect to Phase Semantics for Proof-Terms. J. Philos. Log. 48 (3) (2019)
Ryo Takemura, Noritomo Ouchi
Changes of Technological Knowledge Diversification within a Group of Inventors and Patent Value Corresponding to Technology Lifecycle. IEEM (2018)
Ryo Takemura
Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams. Diagrams (2018)
Ryo Takemura
A Logical Investigation of Heterogeneous Reasoning with Graphs in Elementary Economics. Diagrams (2016)
Ryo Takemura
Counter-Example Construction with Euler Diagrams. Stud Logica 103 (4) (2015)
Ryo Takemura
Euler diagrams as an introduction to set-theoretical models. CoRR (2015)
Koji Mineshima, Yuri Sato, Ryo Takemura, Mitsuhiro Okada
Towards explaining the cognitive efficacy of Euler diagrams in syllogistic reasoning: A relational perspective. J. Vis. Lang. Comput. 25 (3) (2014)
Ryo Takemura, Atsushi Shimojima, Yasuhiro Katagiri
Logical Investigation of Reasoning with Tables. Diagrams (2014)
Ryo Takemura
Proof Theory for Reasoning with Euler Diagrams: A Logic Translation and Normalization. Stud Logica 101 (1) (2013)
Koji Mineshima, Mitsuhiro Okada, Ryo Takemura
A Diagrammatic Inference System with Euler Circles. J. Log. Lang. Inf. 21 (3) (2012)
Koji Mineshima, Mitsuhiro Okada, Ryo Takemura
A Generalized Syllogistic Inference System based on Inclusion and Exclusion Relations. Stud Logica 100 (4) (2012)
Yuri Sato, Koji Mineshima, Ryo Takemura, Mitsuhiro Okada
On the Cognitive Efficacy of Euler Diagrams in Syllogistic Reasoning: A Relational Perspective. ED@Diagrams (2012)
Ryo Takemura, Atsushi Shimojima, Yasuhiro Katagiri
A Logical Investigation on Global Reading of Diagrams. Diagrams (2012)
Ryo Takemura
Proof-Theoretical Investigation of Venn Diagrams: A Logic Translation and Free Rides. Diagrams (2012)
Yuri Sato, Koji Mineshima, Ryo Takemura
Interpreting logic diagrams: a comparison of two formulations of diagrammatic representations. CogSci (2011)
Yuri Sato, Koji Mineshima, Ryo Takemura
The Efficacy of Euler and Venn Diagrams in Deductive Reasoning: Empirical Findings. Diagrams (2010)
Masahiro Hamano, Ryo Takemura
A phase semantics for polarized linear logic and second order conservativity. J. Symb. Log. 75 (1) (2010)
Koji Mineshima, Mitsuhiro Okada, Ryo Takemura
Two Types of Diagrammatic Inference Systems: Natural Deduction Style and Resolution Style. Diagrams (2010)
Koji Mineshima, Mitsuhiro Okada, Yuri Sato, Ryo Takemura
Diagrammatic Reasoning System with Euler Circles: Theory and Experiment Design. Diagrams (2008)
Masahiro Hamano, Ryo Takemura
An Indexed System for Multiplicative Additive Polarized Linear Logic. CSL (2008)
Mitsuhiro Okada, Ryo Takemura
-Calculus. Rewriting, Computation and Proof (2007)
Masami Hagiya, Ryo Takemura, Koichi Takahashi, Takamichi Saito
Verification of Authentication Protocols Based on the Binding Relation. ISSS (2002)