{"id":4544,"date":"2017-07-18T09:01:01","date_gmt":"2017-07-18T00:01:01","guid":{"rendered":"https:\/\/www.waseda.jp\/inst\/wias\/?p=4544"},"modified":"2017-07-18T17:51:30","modified_gmt":"2017-07-18T08:51:30","slug":"%e7%a7%8b%e5%90%89-%e4%ba%ae%e5%a4%aa-%e5%87%86%e6%95%99%e6%8e%88%e3%81%ae%e8%ab%96%e6%96%87%e3%81%8c-ifcolog-journal-of-logics-and-their-applications-%e8%aa%8c-%e3%81%ab%e6%8e%b2%e8%bc%89%e3%81%95-2","status":"publish","type":"post","link":"https:\/\/www.waseda.jp\/inst\/wias\/news-en\/2017\/07\/18\/4544\/","title":{"rendered":"Article of Dr. Ryota Akiyoshi appears in IfCoLog Journal of Logics and their Applications (Special Issue Dedicated to the Memory of Grigori Mints)"},"content":{"rendered":"<p>Dr. Ryota Akiyoshi&#8217;s article (below) appears in\u00a0 <a href=\"http:\/\/www.collegepublications.co.uk\/downloads\/ifcolog00013.pdf\">IfCoLog Journal of Logics and their Applications<\/a> (Special Issue Dedicated to the Memory of Grigori Mints)<\/p>\n<p>&#8220;An Ordinal-free Proof of the Complete Cut-elimination Theorem of \u03a011\u2212CA+BI with the \u03c9-rule&#8221;<\/p>\n<p>IfCoLog Journal of Logics and their Applications, Volume 4, Number 4, pp. 867-884,\u00a0 May 2017.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Dr. Ryota Akiyoshi&#8217;s article (below) appears in\u00a0 IfCoLog Journal of Logics and their Applications (Speci [&hellip;]<\/p>\n","protected":false},"author":6,"featured_media":4543,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"footnotes":""},"categories":[95],"tags":[94,73],"class_list":["post-4544","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-news-en","tag-general-en","tag-research-en"],"acf":[],"_links":{"self":[{"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/posts\/4544","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/users\/6"}],"replies":[{"embeddable":true,"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/comments?post=4544"}],"version-history":[{"count":1,"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/posts\/4544\/revisions"}],"predecessor-version":[{"id":4546,"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/posts\/4544\/revisions\/4546"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/media\/4543"}],"wp:attachment":[{"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/media?parent=4544"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/categories?post=4544"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/tags?post=4544"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}