{"created":"2023-06-20T15:54:36.499837+00:00","id":44,"links":{},"metadata":{"_buckets":{"deposit":"7274a885-683b-4fdd-85a7-75626dd8eb9c"},"_deposit":{"created_by":8,"id":"44","owners":[8],"pid":{"revision_id":0,"type":"depid","value":"44"},"status":"published"},"_oai":{"id":"oai:ryotokuji-u.repo.nii.ac.jp:00000044","sets":["6:8"]},"author_link":["77"],"control_number":"44","item_10002_alternative_title_1":{"attribute_name":"その他（別言語等）のタイトル","attribute_value_mlt":[{"subitem_alternative_title":"On the Decision Time of the Intuitionistic Propositional Logic","subitem_alternative_title_language":"en"}]},"item_10002_biblio_info_7":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2008","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"2","bibliographicPageEnd":"118","bibliographicPageStart":"113","bibliographic_titles":[{"bibliographic_title":"了德寺大学研究紀要"},{"bibliographic_title":"The Bulletin of Ryotokuji University","bibliographic_titleLang":"en"}]}]},"item_10002_description_5":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"Last year, we argued about the decision time of the classical logic. In this paper, we argue about the decision time of the intuitionistic propositional logic. There are the sequents which we are not able to decide the provability in the case of the intuitionistic logic, in contrast with the classical logic. So, we restrict to sequents to be composed only formulas which have not the plural negation (the left side does not contain the negation in the implication). Then, we can deside the provability of sequent within the exponential time.","subitem_description_language":"en","subitem_description_type":"Abstract"}]},"item_10002_identifier_registration":{"attribute_name":"ID登録","attribute_value_mlt":[{"subitem_identifier_reg_text":"10.18933/00000037","subitem_identifier_reg_type":"JaLC"}]},"item_10002_publisher_8":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"了德寺大学"}]},"item_10002_relation_12":{"attribute_name":"論文ID（NAID）","attribute_value_mlt":[{"subitem_relation_type":"isIdenticalTo","subitem_relation_type_id":{"subitem_relation_type_id_text":"110007055738","subitem_relation_type_select":"NAID"}}]},"item_10002_source_id_11":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AA12217741","subitem_source_identifier_type":"NCID"}]},"item_10002_source_id_9":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"1881-9796","subitem_source_identifier_type":"PISSN"}]},"item_10002_version_type_20":{"attribute_name":"著者版フラグ","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_970fb48d4fbd8a85","subitem_version_type":"VoR"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"和手, 正道","creatorNameLang":"ja"},{"creatorName":"ワテ, マサミチ","creatorNameLang":"ja-Kana"},{"creatorName":"Wate, Masamichi","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2016-05-19"}],"displaytype":"detail","filename":"2008_01_15.pdf","filesize":[{"value":"369.4 kB"}],"format":"application/pdf","licensetype":"license_11","mimetype":"application/pdf","url":{"label":"直観主義命題論理の決定時間について","url":"https://ryotokuji-u.repo.nii.ac.jp/record/44/files/2008_01_15.pdf"},"version_id":"057427d1-dc0e-45e2-955b-f2fb158b4a29"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"直観主義","subitem_subject_scheme":"Other"},{"subitem_subject":"命題","subitem_subject_scheme":"Other"},{"subitem_subject":"Gentzen流","subitem_subject_scheme":"Other"},{"subitem_subject":"Turing Machine","subitem_subject_scheme":"Other"},{"subitem_subject":"決定時間","subitem_subject_scheme":"Other"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"departmental bulletin paper","resourceuri":"http://purl.org/coar/resource_type/c_6501"}]},"item_title":"直観主義命題論理の決定時間について","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"直観主義命題論理の決定時間について","subitem_title_language":"ja"},{"subitem_title":"On the Decision Time of the Intuitionistic Propositional Logic","subitem_title_language":"en"}]},"item_type_id":"10002","owner":"8","path":["8"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2016-04-13"},"publish_date":"2016-04-13","publish_status":"0","recid":"44","relation_version_is_last":true,"title":["直観主義命題論理の決定時間について"],"weko_creator_id":"8","weko_shared_id":-1},"updated":"2023-10-23T08:20:50.116239+00:00"}