{"_buckets": {"deposit": "737c7ccf-0e16-46d8-934c-e4aed1484e46"}, "_deposit": {"id": "4900", "owners": [], "pid": {"revision_id": 0, "type": "depid", "value": "4900"}, "status": "published"}, "_oai": {"id": "oai:repository.dl.itc.u-tokyo.ac.jp:00004900"}, "item_7_alternative_title_1": {"attribute_name": "\u305d\u306e\u4ed6\u306e\u30bf\u30a4\u30c8\u30eb", "attribute_value_mlt": [{"subitem_alternative_title": "S4\u306e\u62e1\u5f35\u53ca\u3073\u4e2d\u9593\u8ad6\u7406\u306b\u5bfe\u3059\u308b\u30ab\u30c3\u30c8\u6d88\u53bb\u5b9a\u7406\u306e\u6210\u7acb\u3059\u308b\u30b2\u30f3\u30c4\u30a7\u30f3\u5f0f\u4f53\u7cfb"}]}, "item_7_biblio_info_7": {"attribute_name": "\u66f8\u8a8c\u60c5\u5831", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "1991-03-29", "bibliographicIssueDateType": "Issued"}, "bibliographic_titles": [{}]}]}, "item_7_date_granted_25": {"attribute_name": "\u5b66\u4f4d\u6388\u4e0e\u5e74\u6708\u65e5", "attribute_value_mlt": [{"subitem_dategranted": "1991-03-29"}]}, "item_7_degree_grantor_23": {"attribute_name": "\u5b66\u4f4d\u6388\u4e0e\u6a5f\u95a2", "attribute_value_mlt": [{"subitem_degreegrantor": [{"subitem_degreegrantor_name": "University of Tokyo (\u6771\u4eac\u5927\u5b66)"}]}]}, "item_7_degree_name_20": {"attribute_name": "\u5b66\u4f4d\u540d", "attribute_value_mlt": [{"subitem_degreename": "\u7406\u5b66\u535a\u58eb"}]}, "item_7_dissertation_number_26": {"attribute_name": "\u5b66\u4f4d\u6388\u4e0e\u756a\u53f7", "attribute_value_mlt": [{"subitem_dissertationnumber": "\u7532\u7b2c08849"}]}, "item_7_full_name_3": {"attribute_name": "\u8457\u8005\u5225\u540d", "attribute_value_mlt": [{"nameIdentifiers": [{"nameIdentifier": "10618", "nameIdentifierScheme": "WEKO"}], "names": [{"name": "\u5fd7\u6751, \u7acb\u77e2"}]}]}, "item_7_identifier_registration": {"attribute_name": "ID\u767b\u9332", "attribute_value_mlt": [{"subitem_identifier_reg_text": "10.11501/3058787", "subitem_identifier_reg_type": "JaLC"}]}, "item_7_select_21": {"attribute_name": "\u5b66\u4f4d", "attribute_value_mlt": [{"subitem_select_item": "doctoral"}]}, "item_7_text_22": {"attribute_name": "\u5b66\u4f4d\u5206\u91ce", "attribute_value_mlt": [{"subitem_text_value": "Science(Rigaku)(\u7406\u5b66)"}]}, "item_7_text_24": {"attribute_name": "\u7814\u7a76\u79d1\u30fb\u5c02\u653b", "attribute_value_mlt": [{"subitem_text_value": "Department of Mathematics, Graduate School of Science(\u7406\u5b66\u7cfb\u7814\u7a76\u79d1\u6570\u5b66\u5c02\u653b)"}]}, "item_7_text_27": {"attribute_name": "\u5b66\u4f4d\u8a18\u756a\u53f7", "attribute_value_mlt": [{"subitem_text_value": "\u535a\u7406\u7b2c2325\u53f7"}]}, "item_7_text_36": {"attribute_name": "\u8cc7\u6e90\u30bf\u30a4\u30d7", "attribute_value_mlt": [{"subitem_text_value": "Thesis"}]}, "item_7_text_4": {"attribute_name": "\u8457\u8005\u6240\u5c5e", "attribute_value_mlt": [{"subitem_text_value": "\u6771\u4eac\u5927\u5b66\u5927\u5b66\u9662\u7406\u5b66\u7cfb\u7814\u7a76\u79d1\u6570\u5b66\u5c02\u653b"}]}, "item_creator": {"attribute_name": "\u8457\u8005", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "Shimura, Tatsuya"}], "nameIdentifiers": [{"nameIdentifier": "10617", "nameIdentifierScheme": "WEKO"}]}]}, "item_files": {"attribute_name": "\u30d5\u30a1\u30a4\u30eb\u60c5\u5831", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2017-06-01"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "245921.pdf", "filesize": [{"value": "6.1 MB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_free", "mimetype": "application/pdf", "size": 6100000.0, "url": {"label": "245921.pdf", "url": "https://repository.dl.itc.u-tokyo.ac.jp/record/4900/files/245921.pdf"}, "version_id": "875a09b1-4c7e-4436-b51f-c9e641c8ebd8"}]}, "item_language": {"attribute_name": "\u8a00\u8a9e", "attribute_value_mlt": [{"subitem_language": "eng"}]}, "item_resource_type": {"attribute_name": "\u8cc7\u6e90\u30bf\u30a4\u30d7", "attribute_value_mlt": [{"resourcetype": "thesis", "resourceuri": "http://purl.org/coar/resource_type/c_46ec"}]}, "item_title": "Cut-free Gentzen-style systems for some normal extensions of S4 and intermediate logics", "item_titles": {"attribute_name": "\u30bf\u30a4\u30c8\u30eb", "attribute_value_mlt": [{"subitem_title": "Cut-free Gentzen-style systems for some normal extensions of S4 and intermediate logics"}]}, "item_type_id": "7", "owner": "1", "path": ["75/398", "9/233/280"], "permalink_uri": "https://doi.org/10.11501/3058787", "pubdate": {"attribute_name": "\u516c\u958b\u65e5", "attribute_value": "2013-05-16"}, "publish_date": "2013-05-16", "publish_status": "0", "recid": "4900", "relation": {}, "relation_version_is_last": true, "title": ["Cut-free Gentzen-style systems for some normal extensions of S4 and intermediate logics"], "weko_shared_id": 2}