秋吉 亮太 准教授の論文が 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.
早稲田大学オフィシャルサイト（https://www.waseda.jp/inst/wias/）は、以下のWebブラウザでご覧いただくことを推奨いたします。
推奨環境以外でのご利用や、推奨環境であっても設定によっては、ご利用できない場合や正しく表示されない場合がございます。より快適にご利用いただくため、お使いのブラウザを最新版に更新してご覧ください。
このままご覧いただく方は、「このまま進む」ボタンをクリックし、次ページに進んでください。
対応ブラウザについて
Google Chrome
Windowsバージョン38 以上
Macintoshバージョン38 以上
Webサイト
Fire Fox
Windowsバージョン33 以上
Macintoshバージョン33 以上
Webサイト
Safari
Windowsバージョン38 以上
Macintoshバージョン38 以上
Webサイト
Internet Explorler
Windowsバージョン10 以上
Webサイト
