( en | de | ru )

 

Disambiguation of "Takemura, Ryo"

Author of the publication

copydeleteadd this publication to your clipboard
On the Cognitive Efficacy of Euler Diagrams in Syllogistic Reasoning: A Relational Perspective.

, , , and . ED@Diagrams, volume 854 of CEUR Workshop Proceedings, page 17-31. CEUR-WS.org, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ryo Sugihara

Ryo Kohsaka

Jong Won Ryoo

Mun Il Ryoo

Jang-Hyun Ryoo

 

Other publications of authors with the same name

Proof-Theoretical Investigation of Venn Diagrams: A Logic Translation and Free Rides.. Diagrams, volume 7352 of Lecture Notes in Computer Science, page 132-147. Springer, (2012)A Logical Investigation of Heterogeneous Reasoning with Graphs in Elementary Economics.. Diagrams, volume 9781 of Lecture Notes in Computer Science, page 98-104. Springer, (2016)Two Types of Diagrammatic Inference Systems: Natural Deduction Style and Resolution Style., , and . Diagrams, volume 6170 of Lecture Notes in Computer Science, page 99-114. Springer, (2010)Changes of Technological Knowledge Diversification within a Group of Inventors and Patent Value Corresponding to Technology Lifecycle., and . IEEM, page 1332-1336. IEEE, (2018)A Logical Investigation on Global Reading of Diagrams., , and . Diagrams, volume 7352 of Lecture Notes in Computer Science, page 330-333. Springer, (2012)Verification of Authentication Protocols Based on the Binding Relation., , , and . ISSS, volume 2609 of Lecture Notes in Computer Science, page 299-316. Springer, (2002)On the Cognitive Efficacy of Euler Diagrams in Syllogistic Reasoning: A Relational Perspective., , , and . ED@Diagrams, volume 854 of CEUR Workshop Proceedings, page 17-31. CEUR-WS.org, (2012)Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization.. Arch. Math. Log., 60 (7): 783-813 (2021)The Efficacy of Euler and Venn Diagrams in Deductive Reasoning: Empirical Findings., , and . Diagrams, volume 6170 of Lecture Notes in Computer Science, page 6-22. Springer, (2010)A phase semantics for polarized linear logic and second order conservativity., and . J. Symb. Log., 75 (1): 77-102 (2010)