Ryota Akiyoshi

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Annotation of Japanese Discourse Relations Focusing on Concessive Inferences.
Proceedings of the 2024 Joint International Conference on Computational Linguistics, 2024

2018
A Formalization of Brouwer's Argument for Bar Induction.
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.
FLAP, 2017

2016
An extension of the omega-rule.
Arch. Math. Log., 2016

Strong Normalization for the Parameter-Free Polymorphic Lambda Calculus Based on the Omega-Rule..
Proceedings of the 1st International Conference on Formal Structures for Computation and Deduction, 2016

2010
Tait's conservative extension theorem revisited.
J. Symb. Log., 2010


  Loading...