Ryo Takemura 竹村　亮

Selected Publications

• Logic and majority voting, Ryo Takemura, Journal of Philosophical Logic, 2021. An extended version: [.pdf]

• Proof theory for heterogeneous logic combining formulas and diagrams ---Proof normalization---, Ryo Takemura, Archive for Mathematical Logic, 2021. An extended version: [.pdf]

• Euler diagrams for defeasible reasoning, Ryo Takemura, Diagrammatic Representation and Inference, Lecture Notes in Computer Science, Springer, vol 12169, 289-304, 2020.

• Economic reasoning with demand and supply graphs, Ryo Takemura, Mathematical Social Sciences, Elsevier, Volume 103, 25-35, 2020. An extended version: [.pdf]

• Towards a proof theory for heterogeneous logic combining sentences and diagrams, Ryo Takemura, Diagrammatic Representation and Inference, Lecture Notes in Computer Science, Springer, 2018. An extended version: [.pdf]

• Investigation of Prawitz's completeness conjecture in phase semantic framework, Ryo Takemura, Journal of Humanities and Sciences Nihon University, （総合文化研究）, College of commerce Nihon University, Vol.23, No. 1, 1-19, June 2017. An extended version: [.pdf]

• A logical investigation of heterogeneous reasoning with graphs in elementary economics, Ryo Takemura, Diagrammatic Representation and Inference, Lecture Notes in Computer Science, Springer, Vol. 9781, 98-104, 2016.

• Euler diagrams as an introduction to set-theoretical models, Ryo Takemura, Proceedings of the Fourth International Conference on Tools for Teaching Logic (TTL2015), 223-231, 2015. [.pdf]

• Counter-Example Construction with Euler Diagrams, Ryo Takemura, Studia Logica, Springer, Vol.103, Issue 4, 669-696, 2015. [.pdf]

• eラーニングを用いたアクティブラーニングの試み--LMS glexaを用いた反転授業--, 竹村亮, 日本大学FD研究, 第4号, 日本大学FD推進センター, 13-26, 2016.

• LMS glexaを用いた論理学e-learning教材の開発, 竹村亮, 総合文化研究, 第21巻, 第2号, 日本大学商学部, 29-50, 2015.

• Logical investigation of reasoning with tables, Ryo Takemura, Atsushi Shimojima, Yasuhiro Katagiri, Diagrammatic Representation and Inference, 8th International Conference, Diagrams 2014, Lecture Notes in Computer Science, Volume 8578, 261-276, 2014. [.pdf]

• A Heterogeneous Logic with Tables (Extended Abstract), Ryo Takemura, Proceedings of First International Workshop on Diagrams, Logic and Cognition (DLAC 2013), Jim Burton, Lopamudra Choudhury, eds., CEUR Series Vol. 1132, 9-16, February 2014. [.pdf]

• Completeness of an Euler Diagrammatic System with Constant and Existential Points, Ryo Takemura, Journal of Humanities and Sciences Nihon University, College of commerce Nihon University, Vol.19, No. 1-2, 23-40, Descember 2013. [.pdf]

• Defeasible Inheritance Networks and Linear Logic: Horn Fragments and Proof Nets, Ryo Takemura, Proceedings of the 14th International Workshop on Non-Monotonic Reasoning (NMR 2012), 10 pages, 2012. [.pdf]

• A Logical Investigation on Global Reading of Diagrams, Ryo Takemura, Atsushi Shimojima, and Yasuhiro Katagiri, Diagrammatic Representation and Inference: 7th International Conference, Diagrams 2012, Lecture Notes in Computer Science, Volume 7352, 330-333, 2012.

• Proof-Theoretical Investigation of Venn Diagrams: a Logic Translation and Free Rides, Ryo Takemura, Diagrammatic Representation and Inference: 7th International Conference, Diagrams 2012, Lecture Notes in Computer Science, Volume 7352, 132-147, 2012. [.pdf]

• Proof theory for reasoning with Euler diagrams: a Logic Translation and Normalization, Ryo Takemura, Studia Logica, Volume 101, Issue 1, 157-191, Springer, February 2013. [.pdf]

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

• Two Types of Diagrammatic Inference Systems: Natural Deduction Style and Resolution Style, Koji Mineshima, Mitsuhiro Okada, and Ryo Takemura, Diagrammatic Representation and Inference: 6th International Conference, Diagrams 2010, Lecture Notes In Artificial Intelligence, Springer, 99-114, 2010.
  An extended version is available: [.pdf]

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

• Proof-Theoretical Studies on Diagrammatic Proofs and Focusing Proofs, Ryo Takemura, PhD thesis, Keio University, October, 2009.

• Conservativity for a hierarchy of Euler and Venn reasoning systems, Koji Mineshima, Mitsuhiro Okada, and Ryo Takemura, Proceedings of Visual Languages and Logic 2009, CEUR Series Vol. 510, 37-61, 2009.

• A Diagrammatic Inference System with Euler Circles, Koji Mineshima, Mitsuhiro Okada, and Ryo Takemura, Journal of Logic, Language and Information, Volume 21, Issue 3, 365-391, July 2012, [.pdf]

• A Phase Semantics for Polarized Linear Logic and Second Order Conservativity, Masahiro Hamano and Ryo Takemura, Journal of Symbolic Logic}, 75, 1, 77-102, 2010.

• An Indexed System for Multiplicative Additive Polarized Linear Logic , Masahiro Hamano and Ryo Takemura, Proceedings of the 22nd international workshop on Computer Science Logic (CSL 2008), Lecture Notes In Computer Science, Vol. 5213, Springer-Verlag, 262-277, 2008.

• Diagrammatic Reasoning System with Euler Circles: Theory and Experiment Design , Koji Mineshima, Mitsuhiro Okada, Yuri Sato and Ryo Takemura, Proceedings of the 5th international conference on Diagrammatic Representation and Inference (Diagrams 2008), Lecture Notes In Artificial Intelligence, Vol. 5223, Springer-Verlag, 188-205, 2008.

• Remarks on Semantic Completeness for Proof-Terms with Laird's Dual Affine/Intuitionistic λ-Calculus , Mitsuhiro Okada and Ryo Takemura, in Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday, Lecture Notes in Computer Science, Springer, Volume 4600, August 2007, 167-181. [.pdf]

• A New Proof-Theoretical View on an Old ``Dialogue Logic'', Mitsuhiro Okada and Ryo Takemura, in Essays in the Foundations of Logical and Phenomenological Studies, Interdisciplinary Series on Reasoning Studies Vol. 3, M. Okada ed., Keio University Press, March 2007. [.pdf]

• A Note on Phase Semantics for Proofs (Preliminary Report) , Mitsuhiro Okada and Ryo Takemura, 「心の解明に向けての統合的方法論構築」成果報告集, 慶応義塾大学21世紀COEプログラム, 26-36, 2004. [.pdf]