Dr. Ryota Akiyoshi’s article (below) appears in IfCoLog Journal of Logics and their Applications (Special Issue Dedicated to the Memory of Grigori Mints)
“An Ordinal-free Proof of the Complete Cut-elimination Theorem of Π11−CA+BI with the ω-rule”
IfCoLog Journal of Logics and their Applications, Volume 4, Number 4, pp. 867-884, May 2017.
Sorry!
The Waseda University official website
<<https://www.waseda.jp/inst/wias/en/>> doesn't support your system.
Please update to the newest version of your browser and try again.
Suporrted Browser
Google Chrome
Windows version 38 later
Macintosh version38 later
WebSite
Fire Fox
Windows version 33 later
Macintosh version 33 later
WebSite
Safari
Windows version 38 later
Macintosh version38 later
WebSite
Internet Explorler
Windows version 10 later
WebSite
