{"created":"2023-05-15T11:18:46.005773+00:00","id":138,"links":{},"metadata":{"_buckets":{"deposit":"43441cd7-3c71-4ab2-af0a-8fd9fca6a3b1"},"_deposit":{"created_by":3,"id":"138","owners":[3],"pid":{"revision_id":0,"type":"depid","value":"138"},"status":"published"},"_oai":{"id":"oai:metro-cit.repo.nii.ac.jp:00000138","sets":["1:14:20"]},"author_link":["657","998","474"],"item_1_biblio_info_14":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2012-03","bibliographicIssueDateType":"Issued"},"bibliographicPageEnd":"76","bibliographicPageStart":"70","bibliographicVolumeNumber":"6","bibliographic_titles":[{"bibliographic_title":"東京都立産業技術高等専門学校研究紀要"},{"bibliographic_title":"Research reports of Tokyo Metropolitan College of Industrial Technology","bibliographic_titleLang":"en"}]}]},"item_1_creator_6":{"attribute_name":"著者名(日)","attribute_type":"creator","attribute_value_mlt":[{"creatorAffiliations":[{"affiliationNameIdentifiers":[{"affiliationNameIdentifier":""}],"affiliationNames":[{"affiliationName":""}]}],"creatorNames":[{"creatorName":"中西, 泰雄","creatorNameLang":"ja"},{"creatorName":"ナカニシ, ヤスオ","creatorNameLang":"ja-Kana"},{"creatorName":"nakanishi, Yasuo","creatorNameLang":"en"}],"familyNames":[{},{},{}],"givenNames":[{},{},{}],"nameIdentifiers":[{}]}]},"item_1_description_1":{"attribute_name":"ページ属性","attribute_value_mlt":[{"subitem_description":"P(論文)","subitem_description_type":"Other"}]},"item_1_description_12":{"attribute_name":"抄録(英)","attribute_value_mlt":[{"subitem_description":"In a proof by reducio ad absurdum (RAA),once we put false assumptions, it is hard to distiguish true statements from others in the following part of the proof. On the other hand, all intermediate statements in a direct proof are true. This means that a direct proof has far more informations than the corresponding RAA proof. Therefore, from educational point of view, it is very fruitful to write proofs without RAA.In our former research, we introduced an efficient logical system called WNK which is free from RAA. However, ordinary proofs used in mathematics are closer to NK of Gentzen rather than WNK. In this paper, we introduce another logical system PNK which is also free from RAA, and explain the planning method of PNK proofs by means of sequents.","subitem_description_type":"Other"}]},"item_1_source_id_13":{"attribute_name":"雑誌書誌ID","attribute_value_mlt":[{"subitem_source_identifier":"AA12210629","subitem_source_identifier_type":"NCID"}]},"item_1_text_9":{"attribute_name":"著者所属(日)","attribute_value_mlt":[{"subitem_text_value":"東京都立産業技術高等専門学校ものづくり工学科"}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2012-03-01"}],"displaytype":"detail","filename":"KJ00008926739.pdf","filesize":[{"value":"126.2 kB"}],"format":"application/pdf","licensetype":"license_11","mimetype":"application/pdf","url":{"label":"KJ00008926739","url":"https://metro-cit.repo.nii.ac.jp/record/138/files/KJ00008926739.pdf"},"version_id":"89ba4186-a583-4c05-90d4-f388f934132c"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"Proof","subitem_subject_language":"en","subitem_subject_scheme":"Other"},{"subitem_subject":"RAA","subitem_subject_language":"en","subitem_subject_scheme":"Other"},{"subitem_subject":"PNK","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":"departmental bulletin paper","resourceuri":"http://purl.org/coar/resource_type/c_6501"}]},"item_title":"背理法を用いない論理体系とその証明計画","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"背理法を用いない論理体系とその証明計画"}]},"item_type_id":"1","owner":"3","path":["20"],"pubdate":{"attribute_name":"公開日","attribute_value":"2012-03-01"},"publish_date":"2012-03-01","publish_status":"0","recid":"138","relation_version_is_last":true,"title":["背理法を用いない論理体系とその証明計画"],"weko_creator_id":"3","weko_shared_id":3},"updated":"2024-04-26T00:50:33.739963+00:00"}