WEKO3
アイテム
{"_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": ["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": [{"nameIdentifier": "77", "nameIdentifierScheme": "WEKO"}]}]}, "item_files": {"attribute_name": "ファイル情報", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2016-05-19"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "2008_01_15.pdf", "filesize": [{"value": "369.4 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_11", "mimetype": "application/pdf", "size": 369400.0, "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"], "permalink_uri": "https://doi.org/10.18933/00000037", "pubdate": {"attribute_name": "PubDate", "attribute_value": "2016-04-13"}, "publish_date": "2016-04-13", "publish_status": "0", "recid": "44", "relation": {}, "relation_version_is_last": true, "title": ["直観主義命題論理の決定時間について"], "weko_shared_id": -1}
直観主義命題論理の決定時間について
https://doi.org/10.18933/00000037
https://doi.org/10.18933/00000037903ebf95-e5c0-4b3b-a603-636406a7ecec
名前 / ファイル | ライセンス | アクション |
---|---|---|
直観主義命題論理の決定時間について (369.4 kB)
|
Item type | 紀要論文 / Departmental Bulletin Paper(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2016-04-13 | |||||
タイトル | ||||||
言語 | ja | |||||
タイトル | 直観主義命題論理の決定時間について | |||||
タイトル | ||||||
言語 | en | |||||
タイトル | On the Decision Time of the Intuitionistic Propositional Logic | |||||
言語 | ||||||
言語 | jpn | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | 直観主義 | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | 命題 | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | Gentzen流 | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | Turing Machine | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | 決定時間 | |||||
資源タイプ | ||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||
資源タイプ | departmental bulletin paper | |||||
ID登録 | ||||||
ID登録 | 10.18933/00000037 | |||||
ID登録タイプ | JaLC | |||||
その他(別言語等)のタイトル | ||||||
その他のタイトル | On the Decision Time of the Intuitionistic Propositional Logic | |||||
言語 | en | |||||
著者 |
和手, 正道
× 和手, 正道 |
|||||
抄録 | ||||||
内容記述タイプ | Abstract | |||||
内容記述 | 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. | |||||
言語 | en | |||||
書誌情報 |
了德寺大学研究紀要 en : The Bulletin of Ryotokuji University 号 2, p. 113-118, 発行日 2008 |
|||||
出版者 | ||||||
出版者 | 了德寺大学 | |||||
ISSN | ||||||
収録物識別子タイプ | PISSN | |||||
収録物識別子 | 1881-9796 | |||||
書誌レコードID | ||||||
収録物識別子タイプ | NCID | |||||
収録物識別子 | AA12217741 | |||||
論文ID(NAID) | ||||||
関連タイプ | isIdenticalTo | |||||
識別子タイプ | NAID | |||||
関連識別子 | 110007055738 | |||||
著者版フラグ | ||||||
出版タイプ | VoR | |||||
出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 |