Ryo Takemura

Proceedings of the Fifth International Workshop on Systems and Algorithms for Formal Argumentation co-located with 10th International Conference on Computational Models of Argument (COMMA 2024), 2024

2022

Logic and Majority Voting.

[BibT_eX]

[DOI]

J. Philos. Log., 2022

2021

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

[BibT_eX]

[DOI]

Arch. Math. Log., 2021

2020

Economic reasoning with demand and supply graphs.

[BibT_eX]

[DOI]

Math. Soc. Sci., 2020

Impact of Reabsorption of Spilled Knowledge on Patent Value.

[BibT_eX]

[DOI]

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

Euler Diagrams for Defeasible Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Diagrammatic Representation and Inference, 2020

2019

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

[BibT_eX]

[DOI]

Yuta Takahashi

J. Philos. Log., 2019

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Diagrammatic Representation and Inference, 2018

2016

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

[BibT_eX]

[DOI]

Proceedings of the Diagrammatic Representation and Inference, 2016

2015

Counter-Example Construction with Euler Diagrams.

[BibT_eX]

[DOI]

Stud Logica, 2015

Euler diagrams as an introduction to set-theoretical models.

[BibT_eX]

[DOI]

CoRR, 2015

2014

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

[BibT_eX]

[DOI]

J. Vis. Lang. Comput., 2014

Logical Investigation of Reasoning with Tables.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Stud Logica, 2013

2012

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

[BibT_eX]

[DOI]

Stud Logica, 2012

A Diagrammatic Inference System with Euler Circles.

[BibT_eX]

[DOI]

J. Log. Lang. Inf., 2012

A Logical Investigation on Global Reading of Diagrams.

[BibT_eX]

[DOI]

Atsushi Shimojima

Yasuhiro Katagiri

Proceedings of the Diagrammatic Representation and Inference, 2012

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

[BibT_eX]

[DOI]

Proceedings of the Diagrammatic Representation and Inference, 2012

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

[BibT_eX]

[DOI]

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

2011

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

[BibT_eX]

[DOI]

Yuri Sato

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

2010

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

[BibT_eX]

[DOI]

Masahiro Hamano

J. Symb. Log., 2010

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

[BibT_eX]

[DOI]

Yuri Sato

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

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

[BibT_eX]

[DOI]

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

2008

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

[BibT_eX]

[DOI]

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

An Indexed System for Multiplicative Additive Polarized Linear Logic.

[BibT_eX]

[DOI]

Masahiro Hamano

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.

[BibT_eX]

[DOI]