Ryota AKIYOSHI (秋吉 亮太)

ジャーナル論文 - rm_published_papers: Others   査読済み

Torataro Shimomura Meets Gaisi Takeuti: Toward a Possible Lineage in Mathematical Philosophy

by Ryota AKIYOSHI

公開済 03/2026

Philosophy (Mita Philosophy Society), 157, 1 - 22

会議発表プレゼンテーション

Concessive Connectives and the Structure of Informal Proofs

by Ryota AKIYOSHI

公開済 13/01/2026

8th International Meeting of the Association for the Philosophy of Mathematical Practice (Chapman University)

ジャーナル論文 - rm_published_papers: Others

数学的証明における but の機能：証明コーパスの構築と分析

by Ryota AKIYOSHI

公開済 2026

言語処理学会第32回年次大会発表論文集

図書

Gendai Ronrigaku Jiten (Encyclopedia of Modern Logic): 「数学基礎論論争」(The Foundations of Mathematics)、「順序数解析」(Ordinal Analysis)

by Ryota AKIYOSHI

公開済 2026

図書

Doitsu Tetsugaku・Shiso Jiten (Encyclopedia of German Philosophy and Thoughts): 「ヒルベルト」(Hilbert)

by Ryota AKIYOSHI

公開済 2026

ジャーナル論文 - rm_misc: Others

Towards proof-theoretic semantics for second-order logic

by Ryota AKIYOSHI

公開済 12/2025

submitted, 56 pages

ジャーナル論文 - rm_misc: Others

The Connective but in Informal Mathematical Proofs: A Corpus-Based Study

by Ryota AKIYOSHI

公開済 10/2025

submitted

ジャーナル論文 - rm_misc: Others

Intuition in philosophy of mathematics

by Ryota AKIYOSHI

公開済 09/2025

to be submitted as a book chapter, 20 pages

ジャーナル論文 - rm_published_papers: Others   査読済み

Schwichtenberg’s Style Analysis of Parameter-Free Fragments of Girard’s System F

by Ryota AKIYOSHI

公開済 05/2025

Journal of Logic and Computation, 35, 4

ジャーナル論文 - rm_published_papers: Others   査読済み

A Note on Feferman and Takeuti II: Philosophical Perspectives on Inductive Definitions

by Ryota AKIYOSHI

公開済 03/2025

Philosophy (Mita Philosophy Society), 155, 1 - 16