A sequent calculus representation of Lorenzen dialogue extended with why-because dialogue
Ryo Takemura
SAFA 2024 Systems and Algorithms for Formal Argumentation 2024, CEUR Workshop Proceedings, Sep. 2024, Refereed, Not invited
Lead

Another representation of cut-elimination
Ryo Takemura
Proceedings of the 6th Asian Workshop on Philosophical Logic, Mar. 2024, Refereed
Lead

Logic and majority voting
Ryo Takemura
Journal of Philosophical Logic, 2022, Refereed, Not invited
Lead

Proof theory for heterogeneous logic combining formulas and diagrams: Proof normalization
Ryo Takemura
Archive for Mathematical Logic, Feb. 2021, Refereed, Not invited
Lead

Euler diagrams for defeasible reasoning
Ryo Takemura
Diagrammatic Representation and Inference, ,Lecture Notes in Computer Science, Aug. 2020, Refereed, Not invited
Lead

多数決と論理---社会的選択理論と論理学---
竹村亮
商学集志, Jul. 2020, Refereed, Not invited
Lead

Economic reasoning with demand and supply graphs
Ryo Takemura
Mathematical Social Sciences, Jan. 2020, Refereed, Not invited
Lead

Completeness of Second-Order Intuitionistic Propositional Logic with Respect to Phase Semantics for Proof-Terms
Yuta Takahashi and Ryo Takemura
Journal of Philosophical Logic, Sep. 2018, Refereed, Not invited

Towards a proof theory for heterogeneous logic combining sentences and diagrams
Ryo Takemura
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2018, Refereed, Not invited

オイラー図を用いたヘテロジニアス推論---ルールベースとモデルベースの推論---
竹村亮; 片桐恭弘
日本認知科学会第34回大会発表論文集, Sep. 2017, Refereed, Not invited
Lead

Investigation of Prawitz's completeness conjecture in phase semantic framework
Ryo Takemura
Journal of Humanities and Sciences Nihon University, Jun. 2017, Refereed, Not invited

A Logical Investigation of Heterogeneous Reasoning with Graphs in Elementary Economics
Ryo Takemura
DIAGRAMMATIC REPRESENTATION AND INFERENCE, DIAGRAMS 2016, 2016, Refereed, Not invited

Counter-Example Construction with Euler Diagrams
Ryo Takemura
STUDIA LOGICA, Aug. 2015, Refereed, Not invited

Euler diagrams as an introduction to set-theoretical models
Ryo Takemura
Proceedings of the Fourth International Conference on Tools for Teaching Logic (TTL2015), Jun. 2015, Refereed, Not invited
Lead

Towards explaining the cognitive efficacy of Euler diagrams in syllogistic reasoning: A relational perspective
Koji Mineshima; Yuri Sato; Ryo Takemura; Mitsuhiro Okada
JOURNAL OF VISUAL LANGUAGES AND COMPUTING, Jun. 2014, Refereed, Not invited

A Heterogeneous Logic with Tables (Extended Abstract)
Ryo Takemura
Diagrams, Logic and Cognition (DLAC 2013), Mar. 2014, Refereed, Not invited
Lead

Logical Investigation of Reasoning with Tables
Ryo Takemura; Atsushi Shimojima; Yasuhiro Katagiri
DIAGRAMMATIC REPRESENTATION AND INFERENCE, DIAGRAMS 2014, 2014, Refereed, Not invited

Completeness of an Euler Diagrammatic System with Constant and Existential Points
Ryo Takemura
Journal of Humanities and Sciences Nihon University, Dec. 2013, Refereed, Not invited
Lead

Proof Theory for Reasoning with Euler Diagrams: A Logic Translation and Normalization
Ryo Takemura
STUDIA LOGICA, Feb. 2013, Refereed, Not invited

A Generalized Syllogistic Inference System based on Inclusion and Exclusion Relations
Koji Mineshima; Mitsuhiro Okada; Ryo Takemura
STUDIA LOGICA, Aug. 2012, Refereed, Not invited

A Diagrammatic Inference System with Euler Circles
Koji Mineshima; Mitsuhiro Okada; Ryo Takemura
Journal of Logic, Language and Information, Jul. 2012, Refereed, Not invited

Defeasible Inheritance Networks and Linear Logic: Horn Fragments and Proof Nets
Proceedings of the 14th International Workshop on Non-Monotonic Reasoning (NMR 2012), Jun. 2012, Refereed, Not invited
Lead

On The Cognitive Efficacy of Euler Diagrams in Syllogistic Reasoning: A Relational Perspective
Koji Mineshima; Yuri Sato; Ryo Takemura; Mitsuhiro Okada
In Proceedings of the 3rd international workshop on euler diagrams (euler diagrams 2012), CEUR Workshop Proceedings, 2012, Refereed, Not invited

A logical investigation on global reading of diagrams
Ryo Takemura; Atsushi Shimojima; Yasuhiro Katagiri
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2012, Refereed, Not invited

Proof-theoretical investigation of Venn diagrams: A logic translation and free rides
Ryo Takemura
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2012, Refereed, Not invited

オイラー図・ヴェン図推論の翻訳とFree rides
竹村 亮
2011年度人工知能学会全国大会（第25回）JSAI2011論文集, Jun. 2011, Not refereed, Not invited
Lead

Interpreting logic diagrams: a comparison of two formulations of diagrammatic representations.
Yuri Sato; Koji Mineshima; Ryo Takemura
Proceedings of the 33th Annual Meeting of the Cognitive Science Society, CogSci 2011, Boston, Massachusetts, USA, July 20-23, 2011, 2011, Refereed, Not invited

Two Types of Diagrammatic Inference Systems: Natural Deduction Style and Resolution Style
Ryo Takemura Koji Mineshima Mitsuhiro Okada
Diagrammatic Representation and Inference: 6th International Conference, Diagrams 2010, Aug. 2010, Refereed, Not invited
Lead

The efficacy of Euler and Venn diagrams in deductive reasoning: empirical findings
Koji Mineshima Yuri Sato Ryo Takemura
Diagrammatic Representation and Inference: 6th International Conference, Diagrams 2010, Aug. 2010, Refereed, Not invited

Constructing internal diagrammatic proofs from external logic diagrams
Koji Mineshima Yuri Sato Ryo Takemura
The annual meeting of the Cognitive Science Society (CogSci 2010), Aug. 2010, Refereed, Not invited

オイラー図・ヴェン図を用いた図形推論の証明論的分析
竹村亮 峯島宏次 佐藤有理 岡田光弘
2010年度人工知能学会全国大会（第24回）JSAI2010論文集, Jun. 2010, Not refereed, Not invited
Lead

A Phase Semantics for Polarized Linear Logic and Second Order Conservativity
Ryo Takemura Masahiro Hamano
Journal of Symbolic Logic, Mar. 2010, Refereed, Not invited
Lead

Two Types of Diagrammatic Inference System:Relation-based System as Natural Deduction and Region-based System as Resolution,2010,Proceedings of 6th International Conference on the Theory and Application of Diagrams(DIAGRAMS 2010)
Koji Mineshima; Mitsuhiro Okada; Ryo Takemura
Springer, 2010, Refereed, Not invited

Conservativity for a hierarchy of Euler and Venn reasoning systems
Ryo Takemura Koji Mineshima Mitsuhiro Okada
Proceedings of Workshop on Visual Languages and Logic 2009, Aug. 2009, Refereed, Not invited
Lead

Is g an entity? A Japanese twin study using syllogisms and intelligence tests
Chizuru Shikishima Kai Hiraishi Shinji Yamagata Yutaro Sugimoto Ryo Takemura Koken Ozaki Mitsuhiro Okada Tatsushi Toda Juko Ando
Intelligence, May 2009, Refereed, Not invited

An Indexed System for Multiplicative Additive Polarized Linear Logic
Masahiro Hamano
Proceedings of the 22nd international workshop on Computer Science Logic (CSL 2008), Sep. 2008, Refereed, Not invited
Lead

Diagrammatic Reasoning System with Euler Circles: Theory and Experiment Design
Ryo Takemura Koji Mineshima Mitsuhiro Okada Yuri Sato
Proceedings of the 5th international conference on Diagrammatic Representation and Inference (Diagrams2008), Sep. 2008, Refereed, Not invited
Lead

Remarks on Semantic Completeness for Proof-Terms with Laird's Dual Affine/Intuitionistic λ-Calculus
Mitsuhiro Okada
Rewriting, Computation and Proof, Aug. 2007, Refereed, Not invited
Lead

A Note on Phase Semantics for Proofs of Laird's λAff (Preliminary Report)
Mitsuhiro Okada
Toward an integrated methodology for the study of the mind, Mar. 2007, Not refereed, Not invited
Lead

A New Proof-Theoretical View on an Old ``Dialogue Logic''
Mitsuhiro Okada
Essays in the Foundations of Logical and Phenomenological Studies, Mar. 2007, Not refereed, Not invited
Lead

Lorenzen's Game Semantics for Classical Logic: From a Proof Theoretical Viewpoint (A Preliminary Report)
Mitsuhiro Okada
Toward an integrated methodology for the study of the mind, Mar. 2006, Not refereed, Not invited
Lead

中規模授業におけるアクティブラーニング―平成29年度商学部FD講習会＆ワークショップ―（活動報告）
竹村亮; 山根龍一; 髙久保豊; 山本篤民; 金惠鎭; 高橋めぐみ; 小川睦美
日本大学FD研究, 31 Mar. 2018, Refereed, Not invited
Lead

大規模授業におけるアクティブラーニング─平成28 年度商学部FD 講習会報告─（活動報告）
竹村亮; 金雲鎬; 岡田太; 菅野正泰; 芝村良; 服部訓和; 根田正樹
日本大学FD研究, 31 Mar. 2017, Not refereed, Not invited
Lead

日本大学におけるeラーニングの戦略的活用に関する研究―日本大学理事長特別研究公開シンポジウム開催報告―
福田弥夫,関根二三夫,池田実,成毛信男,鬼頭俊泰,竹村亮, 芝村良,佐藤健一,山添謙,大嶽龍
日本大学FD研究, 31 Mar. 2016, Not refereed, Not invited

eラーニングを用いたアクティブラーニングの試み―LMS glexaを用いた反転授業―
竹村亮
日本大学FD研究, 31 Mar. 2016, Refereed, Not invited
Lead

図形は「おまけ」？―数学・論理学における証明
竹村亮
砧通信, 01 Dec. 2015, Not refereed, Invited
Lead

LMS glexaを用いた論理学e-learning教材の開発
竹村亮
総合文化研究, Dec. 2015, Refereed, Not invited
Lead

商学・経済学を学ぶための数学(2)
竹村亮
平成２６年度日本大学理事長特別研究公開シンポジウム報告書 「日本大学におけるｅラーニングの戦略的活用の研究― 高大連携，入学前教育，学部教育そして大学院教育におけるeラーニング導入の必要性とパイロットプログラムによる実証的研究 ―」, 20 Feb. 2015, Not refereed, Not invited
Lead

Syllogism and intelligence: g (Genetic Factor) of g (General Intelligence) revisited
Juko Ando; Chizuru Shikishima; Yutaro Sugimoto; Ryo Takemura; Kai Hiraishi; Mitsuhiro Okada
BEHAVIOR GENETICS, Nov. 2006, Refereed, Not invited

★Euler diagrams for defeasible reasoning
Ryo Takemura
11th International Conference on the Theory and Application of Diagrams, Diagrams 2020, Not invited

Another representation of cut-elimination
Ryo Takemura
6th Asian Workshop on Philosophical Logic, Mar. 2024, Not invited

Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams
Ryo Takemura
10th International Conference on the Theory and Application of Diagrams, Diagrams 2018, Jun. 2018, Diagrams 2018, Not invited

図形と論理式を組合わせたヘテロジニアスな証明の特徴づけ
竹村亮
RIMS共同研究（公開型）「証明論と証明活動」（証明論研究会2017）, Dec. 2017, 証明論研究会, Not invited

オイラー図を使った推論：証明構成と反例構成
竹村亮
日本大学哲学会第68回, Oct. 2017, 日本大学哲学会, Not invited

オイラー図を用いたヘテロジニアス推論---ルールベースとモデルベースの推論---
竹村亮; 片桐恭弘
日本認知科学会第34回大会, Sep. 2017, 日本認知科学会, Not invited

Completeness of Second-Order Intuitionistic Propositional Logic with Respect to a Proof-Theoretic Semantics
Yuta Takahashi and Ryo Takemura
The 3rd Asian Workshop on Philosophical Logic (AWPL 2016), Oct. 2016, Not invited

A logical investigation of heterogeneous reasoning with graphs in elementary economics
Ryo Takemura
Diagrammatic Representation and Inference: 9th International Conference, Diagrams 2016, Aug. 2016, Diagrams 2016, Not invited

Euler diagrams as an introduction to set-theoretical models
Ryo Takemura
Fourth International Conference on Tools for Teaching Logic (TTL2015), Jun. 2015, Not invited

商学・経済学を学ぶための数学
竹村亮
平成２６年度日本大学理事長特別研究公開シンポジウム 「日本大学におけるｅラーニングの戦略的活用の研究― 高大連携，入学前教育，学部教育そして大学院教育におけるeラーニング導入の必要性とパイロットプログラムによる実証的研究 ―」, Jan. 2015, Not invited

Logical investigation of reasoning with tables
Ryo Takemura
The 8th International Conference on the Theory and Application of Diagrams, Jul. 2014, Not invited

Counter-example construction with Euler diagrams
Ryo Takemura
The Second Asian Workshop on Philosophical Logic, Apr. 2014, Not invited

A Heterogeneous Logic with Tables
Ryo Takemura
International Workshop on Diagram Logic and Cognition 2013 (DLAC 2013), Oct. 2013, Not invited

A Logical Investigation on Global Reading of Diagrams
Atsushi Shimojima; Yasuhiro Katagiri
Diagrammatic Representation and Inference: 7th International Conference, Diagrams 2012, Jul. 2012, Not invited

Proof-Theoretical Investigation of Venn Diagrams: a Logic Translation and Free Rides
Diagrammatic Representation and Inference: 7th International Conference, Diagrams 2012, Jul. 2012, Not invited

Defeasible Inheritance Networks and Linear Logic: Horn Fragments and Proof Nets
Ryo Takemura
14th International Workshop on Non-Monotonic Reasoning (NMR 2012), Jun. 2012, Not invited

オイラー図・ヴェン図推論の翻訳とFree rides
2011年度人工知能学会全国大会（第25回）, Jun. 2011, Not invited

Proof theory for reasoning with Euler diagrams
Proof Theory and Philosophy, Feb. 2011, Not invited

オイラー図推論の証明論的分析：Free ride propertyと正規形証明
日本科学哲学会第43回大会, Nov. 2010, Not invited

Two Types of Diagrammatic Inference Systems, Natural Deduction Style and Resolution Style
Koji Mineshima; Mitsuhiro Okada
Sixth International Conference on the Theory and Application of Diagrams (Diagrams 2010), Aug. 2010, Not invited

オイラー図・ヴェン図を用いた図形推論の証明論的分析
峯島宏次; 佐藤有理; 岡田光弘
2010年度人工知能学会全国大会（第24回）, Jun. 2010, Not invited

Reasoning with Euler diagrams: a proof-theoretical approach
Koji Mineshima
3rd World Congress and School on Universal Logic, Apr. 2010, Not invited

Conservativity for a hierarchy of Euler and Venn reasoning systems
Koji Mineshima; Mitsuhiro Okada
Workshop on Visual Languages and Logic 2009, Sep. 2009, Not invited

Diagrammatic Reasoning System with Euler Circles: Theory and Experiment Design
Koji Mineshima; Mitsuhiro Okada; Yuri Sato
Fifth International Conference on the Theory and Application of Diagrams (Diagrams 2008), Sep. 2008, Not invited

A Phase Semantics for Polarized Linear Logic and Second Order Conservation
Masahiro Hamano
Round Table Symposium on Proof Theory, Linear Logic and Program Semantics, Mar. 2007, Not invited

証明の対話的解釈（ゲーム意味論）
日本科学哲学会第39回大会, Oct. 2006, Not invited

Lorenzen-Style Traditional Games: Revisited from a Sequent Calculus View (Report of an on-going work)
Workshop on Linear Logic, Proof Theory and Computer Science, Mar. 2006, Not invited