Ryota Akiyoshi

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 5

Top Topics

Discourse Structure

Sequent Calculi

Top Venues

Arch. Math. Log.

Publications

Ai Kubota, Takuma Sato, Takayuki Amamoto, Ryota Akiyoshi, Koji Mineshima
Annotation of Japanese Discourse Relations Focusing on Concessive Inferences. LREC/COLING (2024)
Ryota Akiyoshi
A Formalization of Brouwer's Argument for Bar Induction. WoLLIC (2018)
Ryota Akiyoshi
An Ordinal-free Proof of the Complete Cut-elimination Theorem for \Pi^1_1-CA+BI with the omega-rule. FLAP 4 (4) (2017)
Ryota Akiyoshi, Grigori Mints
An extension of the omega-rule. Arch. Math. Log. 55 (3-4) (2016)
Ryota Akiyoshi, Kazushige Terui
Strong Normalization for the Parameter-Free Polymorphic Lambda Calculus Based on the Omega-Rule.. FSCD (2016)
Ryota Akiyoshi
Tait's conservative extension theorem revisited. J. Symb. Log. 75 (1) (2010)