Ryo Takemura - RankMe

30 papers B 2C 9Journal 11Unranked 8

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