{"id":4542,"date":"2017-07-18T09:00:39","date_gmt":"2017-07-18T00:00:39","guid":{"rendered":"https:\/\/www.waseda.jp\/inst\/wias\/?p=4542"},"modified":"2017-07-18T17:54:02","modified_gmt":"2017-07-18T08:54:02","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","status":"publish","type":"post","link":"https:\/\/www.waseda.jp\/inst\/wias\/news\/2017\/07\/18\/4542\/","title":{"rendered":"\u79cb\u5409 \u4eae\u592a \u51c6\u6559\u6388\u306e\u8ad6\u6587\u304c IfCoLog Journal of Logics and their Applications \u8a8c\uff08\u30b9\u30bf\u30f3\u30d5\u30a9\u30fc\u30c9\u5927\u5b66Grigori Mints\u6559\u6388\u3078\u306e\u732e\u5448\u8ad6\u6587\u96c6\uff09 \u306b\u63b2\u8f09\u3055\u308c\u307e\u3057\u305f\u3002"},"content":{"rendered":"<p>\u79cb\u5409 \u4eae\u592a\u00a0\u51c6\u6559\u6388\u306e\u8ad6\u6587\u304c <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) \u8a8c \u306b\u63b2\u8f09\u3055\u308c\u307e\u3057\u305f\u3002<\/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>\u79cb\u5409 \u4eae\u592a\u00a0\u51c6\u6559\u6388\u306e\u8ad6\u6587\u304c IfCoLog Journal of Logics and their Applications (Special Issue Dedicated to the Memory of Grigo [&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":[1],"tags":[26,28],"class_list":["post-4542","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-news","tag-general","tag-research"],"acf":[],"_links":{"self":[{"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/posts\/4542","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=4542"}],"version-history":[{"count":1,"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/posts\/4542\/revisions"}],"predecessor-version":[{"id":4545,"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/posts\/4542\/revisions\/4545"}],"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=4542"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/categories?post=4542"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/tags?post=4542"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}