Tait's conservative extension theorem revisited. - Ryota Akiyoshi (J. Symb. Log., 2010)

Strong Normalization for the Parameter-Free Polymorphic Lambda Calculus Based on the Omega-Rule.. - Ryota Akiyoshi; Kazushige Terui (FSCD, 2016)

An extension of the omega-rule. - Ryota Akiyoshi; Grigori Mints (Arch. Math. Log., 2016)

An Ordinal-free Proof of the Complete Cut-elimination Theorem for Pi^1_1-CA+BI with the omega-rule. - Ryota Akiyoshi (FLAP, 2017)

A Formalization of Brouwer's Argument for Bar Induction. - Ryota Akiyoshi (WoLLIC, 2018)

Annotation of Japanese Discourse Relations Focusing on Concessive Inferences. - Ai Kubota; Takuma Sato; Takayuki Amamoto; Ryota Akiyoshi; Koji Mineshima (LREC/COLING, 2024)