J-GLOBAL ID:201101016509478775   Update date: Oct. 21, 2019

Ryota Akiyoshi

アキヨシ リョウタ | Ryota Akiyoshi
Affiliation and department:
Job title: Adjunct Researcher
Other affiliations (1):
Homepage URL  (1): https://www.researchgate.net/profile/Ryota_Akiyoshi
Research field  (3): Theory of informatics ,  Philosophy/Ethics ,  Foundations of mathematics/Applied mathematics
Research keywords  (11): Husserl ,  Logic ,  Type Theory ,  Foundations of Mathematics ,  Proof Theory ,  Analytic Philosophy ,  Mathematical Logic ,  Philosophy of Science ,  Philosophy of Mathematics ,  Computer Science ,  Phenomenology
Papers (21):
  • Ryota Akiyoshi and Andrew Arana. Takeuti’s proof-theory in the context of the Kyoto school. Jahrbuch für Philosophie das Tetsugaku-Ronso. 2019. 46. 1-17
  • Ryota Akiyoshi. An Interpretation of Brouwer’s Argument for Bar Induction via Infinitary Proof Theory. Proceedings of the XXIII World Congress of Philosophy. 2018. 56. 5-9
  • Ryota Akiyoshi. A Formalization of Brouwer's Argument for Bar Induction. WoLLIC 2018 25th Workshop on Logic, Language, Information and Computation, Lecture Notes in Computer Science. 2018. 10944. 77-90
  • Ryota Akiyoshi and Yuta Takahashi. Contentual and Formal Aspects of Gentzen's Consistency Proofs. S.C.-M. Yang, K. Y. Lee and H. Ono (eds.), Philosophical Logic: Current Trends in Asia. 2017. 95-137
  • Ryota Akiyoshi. An Ordinal-Free Proof of the Complete Cut-Elimination Theorem for Π11-CA + BI with the ω-rule. The Mints' memorial issue of the IfCoLog Journal of Logics and their Applications. 2017. 4. 4. 867-884
MISC (12):
  • Ryota Akiyoshi. "Proofs as Programs" Revisited (abstract). The Bulletin of Symbolic Logic. 2019. 25. 236-237
  • Ryota Akiyoshi and Andrew Arana. Takeuti’s finitism and ordinal-theoretic proofs of consistency. in preparation, 30 pages. 2019
  • Ryota Akiyoshi and Genki Uemura. Husserl on Logic without a Humean Worry. in preparation. 2019
  • Ryota Akiyoshi and Alberto Naibo. Towards proof-theoretic semantics for second-order logic. in preparation, 30 pages. 2019
  • Ryota Akiyoshi. The Upperbound of the Length of the Reductions in a Subsystem of Girard's F. in preparation, 17 pages. 2018
Books (2):
  • Yokuwakaru Tetsugaku and Shisou (textbook on philosophy)
    Minerva Publisher 2019 ISBN:9784623084104
  • Consistency proofs of arithmetic: Introduction to proof-theory (in Japanese)
    Kyoritsu Publisher 2019
Lectures and oral presentations  (70):
  • 第二不完全性定理とヒルベルト・プログラム
    (2007年度科学基礎論学会(鳥取大学) 2007)
  • テイトの保存拡大定理について
    (第40回日本科学哲学会(中央大学) 2007)
  • テイトの保存拡大定理について
    (証明論研究集会(首都大学東京) 2007)
  • An ordinal-free proof of the cut-elimination theorem for Pi^1_1- analysis with ω-rule
    (Honorary Colloquium on Occasion of Wilfried Buchholz’ 60th Birthday (Munich University) 2008)
  • On a relationship between cut-elimination proofs by W. Tait and W. Buchholz
    (Workshop on Constructivism: Logic and Mathematics (Kanazawa) 2008)
Professional career (1):
  • PhD (Philosophy) (Keio University)
Work history (16):
  • 2009/04 - 2010/03 Keio University Part-time research fellow
  • 2010/04 - 2012/03 Keio University Assistant Professor
  • 2013/04 - 2014/03 Tokyo Metropolitan University Part-time lecturer
  • 2012/04 - 2015/03 Japan Society for the Promotion of Science Post Doctoral Fellow (PD)
  • 2014/04 - 2016/03 Keio University Part-time lecturer
Show all
Awards (2):
  • 2014/11 - The Japan Association for Philosophy of Science The Japan Association for Philosophy of Science Research Award
  • 2009/10 - The Japan Association for Philosophy of Science The Japan Association for Philosophy of Science Research Award
Association Membership(s) (1):
Association for Symbolic Logic
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page