Verification of Authentication Protocols Based on the Binding Relation. - Masami Hagiya; Ryo Takemura; Koichi Takahashi; Takamichi Saito (ISSS, 2002)

Remarks on Semantic Completeness for Proof-Terms with Laird's Dual Affine/Intuitionistic lambda -Calculus. - Mitsuhiro Okada; Ryo Takemura (Rewriting, Computation and Proof, 2007)

An Indexed System for Multiplicative Additive Polarized Linear Logic. - Masahiro Hamano; Ryo Takemura (CSL, 2008)

Diagrammatic Reasoning System with Euler Circles: Theory and Experiment Design. - Koji Mineshima; Mitsuhiro Okada; Yuri Sato 001; Ryo Takemura (Diagrams, 2008)

Two Types of Diagrammatic Inference Systems: Natural Deduction Style and Resolution Style. - Koji Mineshima; Mitsuhiro Okada; Ryo Takemura (Diagrams, 2010)

The Efficacy of Euler and Venn Diagrams in Deductive Reasoning: Empirical Findings. - Yuri Sato 001; Koji Mineshima; Ryo Takemura (Diagrams, 2010)

A phase semantics for polarized linear logic and second order conservativity. - Masahiro Hamano; Ryo Takemura (J. Symb. Log., 2010)

Interpreting logic diagrams: a comparison of two formulations of diagrammatic representations. - Yuri Sato 001; Koji Mineshima; Ryo Takemura (CogSci, 2011)

On the Cognitive Efficacy of Euler Diagrams in Syllogistic Reasoning: A Relational Perspective. - Yuri Sato 001; Koji Mineshima; Ryo Takemura; Mitsuhiro Okada (ED@Diagrams, 2012)

Proof-Theoretical Investigation of Venn Diagrams: A Logic Translation and Free Rides. - Ryo Takemura (Diagrams, 2012)

A Logical Investigation on Global Reading of Diagrams. - Ryo Takemura; Atsushi Shimojima; Yasuhiro Katagiri (Diagrams, 2012)

A Diagrammatic Inference System with Euler Circles. - Koji Mineshima; Mitsuhiro Okada; Ryo Takemura (J. Log. Lang. Inf., 2012)

A Generalized Syllogistic Inference System based on Inclusion and Exclusion Relations. - Koji Mineshima; Mitsuhiro Okada; Ryo Takemura (Stud Logica, 2012)

Proof Theory for Reasoning with Euler Diagrams: A Logic Translation and Normalization. - Ryo Takemura (Stud Logica, 2013)

Logical Investigation of Reasoning with Tables. - Ryo Takemura; Atsushi Shimojima; Yasuhiro Katagiri (Diagrams, 2014)

Towards explaining the cognitive efficacy of Euler diagrams in syllogistic reasoning: A relational perspective. - Koji Mineshima; Yuri Sato 001; Ryo Takemura; Mitsuhiro Okada (J. Vis. Lang. Comput., 2014)

Euler diagrams as an introduction to set-theoretical models. - Ryo Takemura (CoRR, 2015)

Counter-Example Construction with Euler Diagrams. - Ryo Takemura (Stud Logica, 2015)

A Logical Investigation of Heterogeneous Reasoning with Graphs in Elementary Economics. - Ryo Takemura (Diagrams, 2016)

Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams. - Ryo Takemura (Diagrams, 2018)

Changes of Technological Knowledge Diversification within a Group of Inventors and Patent Value Corresponding to Technology Lifecycle. - Ryo Takemura; Noritomo Ouchi (IEEM, 2018)

Investigating Problems of Research and Development of Artificial Intelligence Technology in Japan. - Chihiro Yamada; Ryo Takemura; Tatsuki Fukushima; Noritomo Ouchi (IEEM, 2019)

Completeness of Second-Order Intuitionistic Propositional Logic with Respect to Phase Semantics for Proof-Terms. - Yuta Takahashi; Ryo Takemura (J. Philos. Log., 2019)

Euler Diagrams for Defeasible Reasoning. - Ryo Takemura (Diagrams, 2020)

Impact of Reabsorption of Spilled Knowledge on Patent Value. - Takafumi Miyazaki; Ryo Takemura; Takuya Harada; Noritomo Ouchi (IEEM, 2020)

Economic reasoning with demand and supply graphs. - Ryo Takemura (Math. Soc. Sci., 2020)

Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization. - Ryo Takemura (Arch. Math. Log., 2021)

Logic and Majority Voting. - Ryo Takemura (J. Philos. Log., 2022)

A Sequent Calculus Representation of Lorenzen Dialogue Extended with Why-Because Dialogue. - Ryo Takemura (SAFA@COMMA, 2024)

A Dialogical Interpretation of Cut-Elimination and Its Application to Argumentation Theory. - Ryo Takemura (CLAR, 2025)