Login / Signup
Ryota Akiyoshi
Publication Activity (10 Years)
Years Active: 2010-2018
Publications (10 Years): 4
Top Topics
Sequent Calculi
Rule Induction
Legal Argument
Inductive Reasoning
Top Venues
WoLLIC
FSCD
Arch. Math. Log.
FLAP
</>
Publications
</>
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)