default search action
Ryo Takemura
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c18]Ryo Takemura:
A Sequent Calculus Representation of Lorenzen Dialogue Extended with Why-Because Dialogue. SAFA@COMMA 2024: 90-103 - 2022
- [j10]Ryo Takemura:
Logic and Majority Voting. J. Philos. Log. 51(2): 347-382 (2022) - 2021
- [j9]Ryo Takemura:
Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization. Arch. Math. Log. 60(7): 783-813 (2021) - 2020
- [j8]Ryo Takemura:
Economic reasoning with demand and supply graphs. Math. Soc. Sci. 103: 25-35 (2020) - [c17]Ryo Takemura:
Euler Diagrams for Defeasible Reasoning. Diagrams 2020: 289-304 - [c16]Takafumi Miyazaki, Ryo Takemura, Takuya Harada, Noritomo Ouchi:
Impact of Reabsorption of Spilled Knowledge on Patent Value. IEEM 2020: 354-358
2010 – 2019
- 2019
- [j7]Yuta Takahashi
, Ryo Takemura:
Completeness of Second-Order Intuitionistic Propositional Logic with Respect to Phase Semantics for Proof-Terms. J. Philos. Log. 48(3): 553-570 (2019) - [c15]Chihiro Yamada, Ryo Takemura, Tatsuki Fukushima, Noritomo Ouchi:
Investigating Problems of Research and Development of Artificial Intelligence Technology in Japan. IEEM 2019: 750-754 - 2018
- [c14]Ryo Takemura:
Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams. Diagrams 2018: 607-623 - [c13]Ryo Takemura, Noritomo Ouchi:
Changes of Technological Knowledge Diversification within a Group of Inventors and Patent Value Corresponding to Technology Lifecycle. IEEM 2018: 1332-1336 - 2016
- [c12]Ryo Takemura:
A Logical Investigation of Heterogeneous Reasoning with Graphs in Elementary Economics. Diagrams 2016: 98-104 - 2015
- [j6]Ryo Takemura:
Counter-Example Construction with Euler Diagrams. Stud Logica 103(4): 669-696 (2015) - [i1]Ryo Takemura:
Euler diagrams as an introduction to set-theoretical models. CoRR abs/1507.03684 (2015) - 2014
- [j5]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): 156-169 (2014) - [c11]Ryo Takemura, Atsushi Shimojima, Yasuhiro Katagiri:
Logical Investigation of Reasoning with Tables. Diagrams 2014: 261-276 - 2013
- [j4]Ryo Takemura:
Proof Theory for Reasoning with Euler Diagrams: A Logic Translation and Normalization. Stud Logica 101(1): 157-191 (2013) - 2012
- [j3]Koji Mineshima, Mitsuhiro Okada, Ryo Takemura:
A Diagrammatic Inference System with Euler Circles. J. Log. Lang. Inf. 21(3): 365-391 (2012) - [j2]Koji Mineshima, Mitsuhiro Okada, Ryo Takemura:
A Generalized Syllogistic Inference System based on Inclusion and Exclusion Relations. Stud Logica 100(4): 753-785 (2012) - [c10]Yuri Sato, Koji Mineshima, Ryo Takemura, Mitsuhiro Okada:
On the Cognitive Efficacy of Euler Diagrams in Syllogistic Reasoning: A Relational Perspective. ED@Diagrams 2012: 17-31 - [c9]Ryo Takemura:
Proof-Theoretical Investigation of Venn Diagrams: A Logic Translation and Free Rides. Diagrams 2012: 132-147 - [c8]Ryo Takemura, Atsushi Shimojima, Yasuhiro Katagiri:
A Logical Investigation on Global Reading of Diagrams. Diagrams 2012: 330-333 - 2011
- [c7]Yuri Sato, Koji Mineshima, Ryo Takemura:
Interpreting logic diagrams: a comparison of two formulations of diagrammatic representations. CogSci 2011 - 2010
- [j1]Masahiro Hamano
A phase semantics for polarized linear logic and second order conservativity. J. Symb. Log. 75(1): 77-102 (2010) - [c6]Yuri Sato, Koji Mineshima, Ryo Takemura:
The Efficacy of Euler and Venn Diagrams in Deductive Reasoning: Empirical Findings. Diagrams 2010: 6-22 - [c5]Koji Mineshima, Mitsuhiro Okada, Ryo Takemura:
Two Types of Diagrammatic Inference Systems: Natural Deduction Style and Resolution Style. Diagrams 2010: 99-114
2000 – 2009
- 2008
- [c4]Masahiro Hamano
An Indexed System for Multiplicative Additive Polarized Linear Logic. CSL 2008: 262-277 - [c3]Koji Mineshima, Mitsuhiro Okada, Yuri Sato, Ryo Takemura:
Diagrammatic Reasoning System with Euler Circles: Theory and Experiment Design. Diagrams 2008: 188-205 - 2007
- [c2]Mitsuhiro Okada, Ryo Takemura:
Remarks on Semantic Completeness for Proof-Terms with Laird's Dual Affine/Intuitionistic lambda -Calculus. Rewriting, Computation and Proof 2007: 167-181 - 2002
- [c1]Masami Hagiya, Ryo Takemura, Koichi Takahashi, Takamichi Saito:
Verification of Authentication Protocols Based on the Binding Relation. ISSS 2002: 299-316
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-12 23:01 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: