{"created":"2024-04-23T21:59:11.349715+00:00","id":2000081,"links":{},"metadata":{"_buckets":{"deposit":"3cf01100-f58e-4bf4-9bfc-7ad9f88d408f"},"_deposit":{"created_by":5,"id":"2000081","owner":"5","owners":[5],"pid":{"revision_id":0,"type":"depid","value":"2000081"},"status":"published"},"_oai":{"id":"oai:jcga.repo.nii.ac.jp:02000081","sets":["1","1:9","1:9:1713908840553"]},"author_link":[],"control_number":"2000081","item_10002_biblio_info_7":{"attribute_name":"bibliographic_information","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2024-03-29","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"1・2号 合併号 通巻第89号","bibliographicNumberOfPages":"12","bibliographicPageEnd":"12","bibliographicPageStart":"1","bibliographicVolumeNumber":"66","bibliographic_titles":[{"bibliographic_title":"海上保安大学校研究報告, 理工学系","bibliographic_titleLang":"ja"}]}]},"item_10002_description_5":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"A direct cut-elimination procedure is proposed, which works for the sequent calculi not only of the\nclassical and the intuitionistic logics but also of the standard modal logics. In the procedure, we\ndo not introduce the inference rule mix but eliminate the usual rule cut directly. We demonstrate\nthe method to establish the cut-elimination theorem for the hyper sequent calculus for the modal\nlogic S5.","subitem_description_language":"en","subitem_description_type":"Abstract"}]},"item_10002_full_name_3":{"attribute_name":"著者（英）","attribute_value_mlt":[{"affiliations":[{"affiliationNames":[{"affiliationName":"Japan Coast Guard Academy","affiliationNameLang":"en"}]}],"familyNames":[{"familyName":"KUSHIDA","familyNameLang":"en"}],"givenNames":[{"givenName":"裕彦","givenNameLang":"en"}],"names":[{"name":"KUSHIDA, Hirohiko","nameLang":"en"}]}]},"item_10002_identifier_registration":{"attribute_name":"identifier_registration","attribute_value_mlt":[{"subitem_identifier_reg_text":"10.15053/0002000081","subitem_identifier_reg_type":"JaLC"}]},"item_10002_publisher_8":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"海上保安大学校","subitem_publisher_language":"ja"}]},"item_10002_source_id_11":{"attribute_name":"item_10002_source_id_11","attribute_value_mlt":[{"subitem_source_identifier":"AN10088865","subitem_source_identifier_type":"NCID"}]},"item_10002_source_id_9":{"attribute_name":"item_10002_source_id_9","attribute_value_mlt":[{"subitem_source_identifier":"0287-2951","subitem_source_identifier_type":"ISSN"}]},"item_access_right":{"attribute_name":"アクセス権","attribute_value_mlt":[{"subitem_access_right":"open access","subitem_access_right_uri":"http://purl.org/coar/access_right/c_abf2"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorAffiliations":[{"affiliationNames":[{"affiliationName":"海上保安大学校","affiliationNameLang":"ja"}]}],"creatorNames":[{"creatorName":"串田　裕彦","creatorNameLang":"ja"}],"familyNames":[{"familyName":"串田","familyNameLang":"ja"}],"givenNames":[{"givenName":"裕彦","givenNameLang":"ja"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_access","date":[{"dateType":"Available","dateValue":"2024-04-24"}],"filename":"2-66-1-89-1_KUSHIDA.pdf","filesize":[{"value":"643 KB"}],"format":"application/pdf","mimetype":"application/pdf","url":{"url":"https://jcga.repo.nii.ac.jp/record/2000081/files/2-66-1-89-1_KUSHIDA.pdf"},"version_id":"e6364c29-af85-4121-8abc-71365312ba44"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"Proof Theory, Sequent Calculus, Cut-elimination, Classical logic, Model Logic","subitem_subject_language":"en"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"eng"}]},"item_resource_type":{"attribute_name":"item_resource_type","attribute_value_mlt":[{"resourcetype":"departmental bulletin paper","resourceuri":"http://purl.org/coar/resource_type/c_6501"}]},"item_title":"Topdown Cut-Elimination","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"Topdown Cut-Elimination","subitem_title_language":"en"}]},"item_type_id":"10002","owner":"5","path":["1","9","1713908840553"],"pubdate":{"attribute_name":"公開日","attribute_value":"2024-04-24"},"publish_date":"2024-04-24","publish_status":"0","recid":"2000081","relation_version_is_last":true,"title":["Topdown Cut-Elimination"],"weko_creator_id":"5","weko_shared_id":-1},"updated":"2025-06-05T07:35:39.381642+00:00"}