{"created":"2024-04-14T21:37:29.718273+00:00","id":2001222,"links":{},"metadata":{"_buckets":{"deposit":"1995e1f4-54bf-48df-8c5b-7d8c607059fc"},"_deposit":{"created_by":2,"id":"2001222","owner":"2","owners":[2],"pid":{"revision_id":0,"type":"depid","value":"2001222"},"status":"published"},"_oai":{"id":"oai:nihon-u.repo.nii.ac.jp:02001222","sets":["1712291514744:1712294184278:1714032782347"]},"author_link":[],"item_10006_alternative_title_1":{"attribute_name":"その他（別言語等）のタイトル","attribute_value_mlt":[{"subitem_alternative_title":"中間命題論理の論理断片間の保存性問題とその応用","subitem_alternative_title_language":"ja"}]},"item_10006_date_granted_11":{"attribute_name":"学位授与年月日","attribute_value_mlt":[{"subitem_dategranted":"2018-03-25"}]},"item_10006_degree_grantor_9":{"attribute_name":"学位授与機関","attribute_value_mlt":[{"subitem_degreegrantor":[{"subitem_degreegrantor_language":"ja","subitem_degreegrantor_name":"日本大学"}],"subitem_degreegrantor_identifier":[{"subitem_degreegrantor_identifier_name":"32665","subitem_degreegrantor_identifier_scheme":"kakenhi"}]}]},"item_10006_degree_name_8":{"attribute_name":"学位名","attribute_value_mlt":[{"subitem_degreename":"博士（理学）","subitem_degreename_language":"ja"}]},"item_10006_dissertation_number_12":{"attribute_name":"学位授与番号","attribute_value_mlt":[{"subitem_dissertationnumber":"甲第5307号"}]},"item_10006_identifier_registration":{"attribute_name":"ID登録","attribute_value_mlt":[{"subitem_identifier_reg_text":"10.15006/32665A5307","subitem_identifier_reg_type":"JaLC"}]},"item_10006_version_type_18":{"attribute_name":"出版タイプ","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_970fb48d4fbd8a85","subitem_version_type":"VoR"}]},"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":[{"creatorNames":[{"creatorName":"横溝,恭平","creatorNameLang":"ja"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_access","filename":"Yokomizo-Kyohei-1.pdf","filesize":[{"value":"154.0 KB"}],"format":"application/pdf","mimetype":"application/pdf","url":{"label":"論文の内容の要旨","objectType":"abstract","url":"https://nihon-u.repo.nii.ac.jp/record/2001222/files/Yokomizo-Kyohei-1.pdf"},"version_id":"c736b1c1-7718-48e0-b252-f711380357b9"},{"accessrole":"open_access","filename":"Yokomizo-Kyohei-2.pdf","filesize":[{"value":"18.8 KB"}],"format":"application/pdf","mimetype":"application/pdf","url":{"label":"論文審査の結果の要旨","objectType":"other","url":"https://nihon-u.repo.nii.ac.jp/record/2001222/files/Yokomizo-Kyohei-2.pdf"},"version_id":"86046f9b-593a-4a09-807a-ad8fa91774e0"},{"accessrole":"open_access","filename":"Yokomizo-Kyohei-3.pdf","filesize":[{"value":"1.1 MB"}],"format":"application/pdf","mimetype":"application/pdf","url":{"label":"論文","objectType":"fulltext","url":"https://nihon-u.repo.nii.ac.jp/record/2001222/files/Yokomizo-Kyohei-3.pdf"},"version_id":"65addaf4-35fa-4dc9-bb36-54a0187d6c90"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"数理論理学","subitem_subject_language":"ja","subitem_subject_scheme":"Other"},{"subitem_subject":"非古典論理","subitem_subject_language":"ja","subitem_subject_scheme":"Other"},{"subitem_subject":"中間論理","subitem_subject_language":"ja","subitem_subject_scheme":"Other"},{"subitem_subject":"代数的意味論","subitem_subject_language":"ja","subitem_subject_scheme":"Other"},{"subitem_subject":"シークエント計算","subitem_subject_language":"ja","subitem_subject_scheme":"Other"},{"subitem_subject":"Mathematical logic","subitem_subject_language":"en","subitem_subject_scheme":"Other"},{"subitem_subject":"Non-classical logics","subitem_subject_language":"en","subitem_subject_scheme":"Other"},{"subitem_subject":"Intermediate logics","subitem_subject_language":"en","subitem_subject_scheme":"Other"},{"subitem_subject":"Algebraic semantics","subitem_subject_language":"en","subitem_subject_scheme":"Other"},{"subitem_subject":"Sequent calculi","subitem_subject_language":"en","subitem_subject_scheme":"Other"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"doctoral thesis","resourceuri":"http://purl.org/coar/resource_type/c_db06"}]},"item_title":"The conservativity problem between fragments of intermediate logics and its application","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"The conservativity problem between fragments of intermediate logics and its application","subitem_title_language":"en"}]},"item_type_id":"40001","owner":"2","path":["1714032782347"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2018-07-13"},"publish_date":"2018-07-13","publish_status":"0","recid":"2001222","relation_version_is_last":true,"title":["The conservativity problem between fragments of intermediate logics and its application"],"weko_creator_id":"2","weko_shared_id":-1},"updated":"2024-05-30T13:05:34.018312+00:00"}