{"created":"2021-03-01T05:52:56.576845+00:00","id":1229,"links":{},"metadata":{"_buckets":{"deposit":"81798725-5223-4a58-875d-6138b3f5ad2e"},"_deposit":{"id":"1229","owners":[],"pid":{"revision_id":0,"type":"depid","value":"1229"},"status":"published"},"_oai":{"id":"oai:repository.nii.ac.jp:00001229","sets":["136"]},"author_link":[],"control_number":"1229","item_5_biblio_info_30":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2006-09-05","bibliographicIssueDateType":"Issued"},"bibliographicPageEnd":"13","bibliographicPageStart":"1","bibliographic_titles":[{"bibliographic_title":"NIIテクニカル・レポート","bibliographic_titleLang":"ja"},{"bibliographic_title":"NII Technical Report","bibliographic_titleLang":"en"}]}]},"item_5_description_28":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"This paper presents the notion of D-normal proofs, which is defined syntactically and gives one of the weakest condition for uniqueness of normal proofs. This paper proves the following results: (1) beta eta D-normal proofs of a formula are unique. (2) A beta-normal proof of a PNN-formula is D-normal. (3) A beta-normal proof of a minimal formula in BCK logic is D-normal. These results give other proofs of uniqueness of beta eta-normal proofs of a PNN-formula, and uniqueness of beta eta-normal proofs of a minimal formula in BCK logic.","subitem_description_language":"en","subitem_description_type":"Abstract"}]},"item_5_identifier_registration":{"attribute_name":"ID登録","attribute_value_mlt":[{"subitem_identifier_reg_text":"10.20736/0000001229","subitem_identifier_reg_type":"JaLC"}]},"item_5_publisher_31":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"国立情報学研究所","subitem_publisher_language":"ja"}]},"item_5_source_id_32":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"1346-5597","subitem_source_identifier_type":"ISSN"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"龍田, 真","creatorNameLang":"ja"},{"creatorName":"Tatsuta, Makoto","creatorNameLang":"en"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2019-03-12"}],"displaytype":"detail","filename":"06-011E.pdf","filesize":[{"value":"239.5 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"NII Technical Report (NII-2006-011E)：Uniqueness of D-normal Proofs","url":"https://repository.nii.ac.jp/record/1229/files/06-011E.pdf"},"version_id":"62ca6db8-db9b-4857-9d7a-97d416d03c27"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"テクニカルレポート","subitem_subject_language":"ja","subitem_subject_scheme":"Other"},{"subitem_subject":"Technical Report","subitem_subject_language":"en","subitem_subject_scheme":"Other"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"eng"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"departmental bulletin paper","resourceuri":"http://purl.org/coar/resource_type/c_6501"}]},"item_title":"NII Technical Report (NII-2006-011E)：Uniqueness of D-normal Proofs","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"NII Technical Report (NII-2006-011E)：Uniqueness of D-normal Proofs","subitem_title_language":"en"}]},"item_type_id":"5","owner":"1","path":["136"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2019-03-12"},"publish_date":"2019-03-12","publish_status":"0","recid":"1229","relation_version_is_last":true,"title":["NII Technical Report (NII-2006-011E)：Uniqueness of D-normal Proofs"],"weko_creator_id":"1","weko_shared_id":-1},"updated":"2023-01-05T01:29:44.578002+00:00"}