Ryota Akiyoshi

According to our database, Ryota Akiyoshi authored at least 5 papers between 2010 and 2018.

Collaborative distances:

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

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