Ryo Takemura

According to our database, Ryo Takemura authored at least 28 papers between 2002 and 2022.

Collaborative distances:

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

2022

Logic and Majority Voting.

Ryo Takemura

J. Philos. Log., 2022

2021

Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization.

Ryo Takemura

Arch. Math. Log., 2021

2020

Economic reasoning with demand and supply graphs.

Ryo Takemura

Math. Soc. Sci., 2020

Impact of Reabsorption of Spilled Knowledge on Patent Value.

Takafumi Miyazaki, Ryo Takemura, Takuya Harada, Noritomo Ouchi

Proceedings of the IEEE International Conference on Industrial Engineering and Engineering Management, 2020

Euler Diagrams for Defeasible Reasoning.

Ryo Takemura

Proceedings of the Diagrammatic Representation and Inference, 2020

2019

Completeness of Second-Order Intuitionistic Propositional Logic with Respect to Phase Semantics for Proof-Terms.

Yuta Takahashi, Ryo Takemura

J. Philos. Log., 2019

Investigating Problems of Research and Development of Artificial Intelligence Technology in Japan.

Chihiro Yamada, Ryo Takemura, Tatsuki Fukushima, Noritomo Ouchi

Proceedings of the 2019 IEEE International Conference on Industrial Engineering and Engineering Management, 2019

2018

Changes of Technological Knowledge Diversification within a Group of Inventors and Patent Value Corresponding to Technology Lifecycle.

Ryo Takemura, Noritomo Ouchi

Proceedings of the 2018 IEEE International Conference on Industrial Engineering and Engineering Management, 2018

Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams.

Ryo Takemura

Proceedings of the Diagrammatic Representation and Inference, 2018

2016

A Logical Investigation of Heterogeneous Reasoning with Graphs in Elementary Economics.

Ryo Takemura

Proceedings of the Diagrammatic Representation and Inference, 2016

2015

Counter-Example Construction with Euler Diagrams.

Ryo Takemura

Stud Logica, 2015

Euler diagrams as an introduction to set-theoretical models.

Ryo Takemura

CoRR, 2015

2014

Towards explaining the cognitive efficacy of Euler diagrams in syllogistic reasoning: A relational perspective.

Koji Mineshima, Yuri Sato, Ryo Takemura, Mitsuhiro Okada

J. Vis. Lang. Comput., 2014

Logical Investigation of Reasoning with Tables.

Ryo Takemura, Atsushi Shimojima, Yasuhiro Katagiri

Proceedings of the Diagrammatic Representation and Inference, 2014

2013

Proof Theory for Reasoning with Euler Diagrams: A Logic Translation and Normalization.

Ryo Takemura

Stud Logica, 2013

2012

A Generalized Syllogistic Inference System based on Inclusion and Exclusion Relations.

Koji Mineshima, Mitsuhiro Okada, Ryo Takemura

Stud Logica, 2012

A Diagrammatic Inference System with Euler Circles.

Koji Mineshima, Mitsuhiro Okada, Ryo Takemura

J. Log. Lang. Inf., 2012

A Logical Investigation on Global Reading of Diagrams.

Ryo Takemura, Atsushi Shimojima, Yasuhiro Katagiri

Proceedings of the Diagrammatic Representation and Inference, 2012

Proof-Theoretical Investigation of Venn Diagrams: A Logic Translation and Free Rides.

Ryo Takemura

Proceedings of the Diagrammatic Representation and Inference, 2012

On the Cognitive Efficacy of Euler Diagrams in Syllogistic Reasoning: A Relational Perspective.

Yuri Sato, Koji Mineshima, Ryo Takemura, Mitsuhiro Okada

Proceedings of the 3rd International Workshop on Euler Diagrams, 2012

2011

Interpreting logic diagrams: a comparison of two formulations of diagrammatic representations.

Yuri Sato, Koji Mineshima, Ryo Takemura

Proceedings of the 33th Annual Meeting of the Cognitive Science Society, 2011

2010

A phase semantics for polarized linear logic and second order conservativity.

Masahiro Hamano, Ryo Takemura

J. Symb. Log., 2010

The Efficacy of Euler and Venn Diagrams in Deductive Reasoning: Empirical Findings.

Yuri Sato, Koji Mineshima, Ryo Takemura

Proceedings of the Diagrammatic Representation and Inference, 6th International Conference, 2010

Two Types of Diagrammatic Inference Systems: Natural Deduction Style and Resolution Style.

Koji Mineshima, Mitsuhiro Okada, Ryo Takemura

Proceedings of the Diagrammatic Representation and Inference, 6th International Conference, 2010

2008

Diagrammatic Reasoning System with Euler Circles: Theory and Experiment Design.

Koji Mineshima, Mitsuhiro Okada, Yuri Sato, Ryo Takemura

Proceedings of the Diagrammatic Representation and Inference, 5th International Conference, 2008

An Indexed System for Multiplicative Additive Polarized Linear Logic.

Masahiro Hamano, Ryo Takemura

Proceedings of the Computer Science Logic, 22nd International Workshop, 2008

2007

Remarks on Semantic Completeness for Proof-Terms with Laird's Dual Affine/Intuitionistic <i>lambda</i> -Calculus.

Mitsuhiro Okada, Ryo Takemura

Proceedings of the Rewriting, 2007

2002

Verification of Authentication Protocols Based on the Binding Relation.

Masami Hagiya, Ryo Takemura, Koichi Takahashi, Takamichi Saito

Proceedings of the Software Security -- Theories and Systems, 2002