Ryota Akiyoshi

According to our database, Ryota Akiyoshi authored at least 6 papers between 2010 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Annotation of Japanese Discourse Relations Focusing on Concessive Inferences.

Ai Kubota, Takuma Sato, Takayuki Amamoto, Ryota Akiyoshi, Koji Mineshima

Proceedings of the 2024 Joint International Conference on Computational Linguistics, 2024

2018

A Formalization of Brouwer's Argument for Bar Induction.

Ryota Akiyoshi

Proceedings of the Logic, Language, Information, and Computation, 2018

2017

An Ordinal-free Proof of the Complete Cut-elimination Theorem for \Pi^1_1-CA+BI with the omega-rule.

Ryota Akiyoshi

FLAP, 2017

2016

An extension of the omega-rule.

Ryota Akiyoshi, Grigori Mints

Arch. Math. Log., 2016

Strong Normalization for the Parameter-Free Polymorphic Lambda Calculus Based on the Omega-Rule..

Ryota Akiyoshi, Kazushige Terui

Proceedings of the 1st International Conference on Formal Structures for Computation and Deduction, 2016

2010

Tait's conservative extension theorem revisited.

Ryota Akiyoshi

J. Symb. Log., 2010