{"created":"2023-06-19T07:17:38.459307+00:00","id":97,"links":{},"metadata":{"_buckets":{"deposit":"7a6e9071-0258-4030-af22-722354a04899"},"_deposit":{"created_by":3,"id":"97","owners":[3],"pid":{"revision_id":0,"type":"depid","value":"97"},"status":"published"},"_oai":{"id":"oai:tenshi.repo.nii.ac.jp:00000097","sets":[]},"author_link":["265"],"item_1_alternative_title_5":{"attribute_name":"論文名よみ","attribute_value_mlt":[{"subitem_alternative_title":"A Study on Completeness and Soundness of the Connection Graph Proof Procedure"}]},"item_1_biblio_info_14":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2006-06-30","bibliographicIssueDateType":"Issued"},"bibliographicPageEnd":"35","bibliographicPageStart":"31","bibliographicVolumeNumber":"6","bibliographic_titles":[{"bibliographic_title":"天使大学紀要"},{"bibliographic_title":"Bulletin of Tenshi College","bibliographic_titleLang":"en"}]}]},"item_1_creator_6":{"attribute_name":"著者名(日)","attribute_type":"creator","attribute_value_mlt":[{"creatorAffiliations":[{"affiliationNameIdentifiers":[{"affiliationNameIdentifier":"","affiliationNameIdentifierScheme":"ISNI","affiliationNameIdentifierURI":"http://www.isni.org/isni/"}],"affiliationNames":[{"affiliationName":"","affiliationNameLang":"ja"}]}],"creatorNames":[{"creatorName":"カワグチ, ユウイチ","creatorNameLang":""},{"creatorName":"KAWAGUCHI, Yuuichi","creatorNameLang":"en"},{"creatorName":"川口, 雄一","creatorNameLang":"ja"},{"creatorName":"カワグチ, ユウイチ","creatorNameLang":"ja-Kana"}],"familyNames":[{"familyName":"カワグチ","familyNameLang":""},{"familyName":"KAWAGUCHI","familyNameLang":"en"},{"familyName":"川口","familyNameLang":"ja"},{"familyName":"カワグチ","familyNameLang":"ja-Kana"}],"givenNames":[{"givenName":"ユウイチ","givenNameLang":""},{"givenName":"Yuuichi","givenNameLang":"en"},{"givenName":"雄一","givenNameLang":"ja"},{"givenName":"ユウイチ","givenNameLang":"ja-Kana"}],"nameIdentifiers":[{}]}]},"item_1_creator_7":{"attribute_name":"著者名よみ","attribute_type":"creator","attribute_value_mlt":[{"creatorAffiliations":[{"affiliationNameIdentifiers":[{"affiliationNameIdentifier":"","affiliationNameIdentifierScheme":"ISNI","affiliationNameIdentifierURI":"http://www.isni.org/isni/"}],"affiliationNames":[{"affiliationName":"","affiliationNameLang":"ja"}]}],"creatorNames":[{"creatorName":"カワグチ, ユウイチ","creatorNameLang":""},{"creatorName":"KAWAGUCHI, Yuuichi","creatorNameLang":"en"},{"creatorName":"川口, 雄一","creatorNameLang":"ja"},{"creatorName":"カワグチ, ユウイチ","creatorNameLang":"ja-Kana"}],"familyNames":[{"familyName":"カワグチ","familyNameLang":""},{"familyName":"KAWAGUCHI","familyNameLang":"en"},{"familyName":"川口","familyNameLang":"ja"},{"familyName":"カワグチ","familyNameLang":"ja-Kana"}],"givenNames":[{"givenName":"ユウイチ","givenNameLang":""},{"givenName":"Yuuichi","givenNameLang":"en"},{"givenName":"雄一","givenNameLang":"ja"},{"givenName":"ユウイチ","givenNameLang":"ja-Kana"}],"nameIdentifiers":[{"nameIdentifier":"265","nameIdentifierScheme":"WEKO"}]}]},"item_1_creator_8":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorAffiliations":[{"affiliationNameIdentifiers":[{"affiliationNameIdentifier":"","affiliationNameIdentifierScheme":"ISNI","affiliationNameIdentifierURI":"http://www.isni.org/isni/"}],"affiliationNames":[{"affiliationName":"","affiliationNameLang":"ja"}]}],"creatorNames":[{"creatorName":"カワグチ, ユウイチ","creatorNameLang":""},{"creatorName":"KAWAGUCHI, Yuuichi","creatorNameLang":"en"},{"creatorName":"川口, 雄一","creatorNameLang":"ja"},{"creatorName":"カワグチ, ユウイチ","creatorNameLang":"ja-Kana"}],"familyNames":[{"familyName":"カワグチ","familyNameLang":""},{"familyName":"KAWAGUCHI","familyNameLang":"en"},{"familyName":"川口","familyNameLang":"ja"},{"familyName":"カワグチ","familyNameLang":"ja-Kana"}],"givenNames":[{"givenName":"ユウイチ","givenNameLang":""},{"givenName":"Yuuichi","givenNameLang":"en"},{"givenName":"雄一","givenNameLang":"ja"},{"givenName":"ユウイチ","givenNameLang":"ja-Kana"}],"nameIdentifiers":[{"nameIdentifier":"265","nameIdentifierScheme":"WEKO"}]}]},"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 1975, R. A. Kowalski introduced the connection graph proof procedure, and in 1981 W. Bibel proved that it is complete and sound. The purpose of this paper is to show concrete examples of completeness and soundness in propositional logic. Two examples are given. One is an example of completeness, and the other is an example of soundness. The reason why they are concrete examples is discussed. When those two examples are generalised, then it is proven that the connection graph proof procedure is complete and sound. However, the proof is not shown in this paper.","subitem_description_type":"Other"}]},"item_1_source_id_13":{"attribute_name":"雑誌書誌ID","attribute_value_mlt":[{"subitem_source_identifier":"AA11568183","subitem_source_identifier_type":"NCID"}]},"item_1_text_2":{"attribute_name":"記事種別(日)","attribute_value_mlt":[{"subitem_text_value":"論文"}]},"item_1_text_3":{"attribute_name":"記事種別(英)","attribute_value_mlt":[{"subitem_text_language":"en","subitem_text_value":"Article"}]},"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":"2006-06-30"}],"displaytype":"detail","filename":"KJ00004682540.pdf","filesize":[{"value":"341.2 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"url":"https://tenshi.repo.nii.ac.jp/record/97/files/KJ00004682540.pdf"},"version_id":"0e813794-9ac5-4eaa-9a92-d366ee0440b7"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"completeness","subitem_subject_language":"en","subitem_subject_scheme":"Other"},{"subitem_subject":"soundness","subitem_subject_language":"en","subitem_subject_scheme":"Other"},{"subitem_subject":"connection graph","subitem_subject_language":"en","subitem_subject_scheme":"Other"},{"subitem_subject":"propositional logic","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":"A Study on Completeness and Soundness of the Connection Graph Proof Procedure","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"A Study on Completeness and Soundness of the Connection Graph Proof Procedure","subitem_title_language":"en"}]},"item_type_id":"1","owner":"3","path":["17"],"pubdate":{"attribute_name":"公開日","attribute_value":"2006-06-30"},"publish_date":"2006-06-30","publish_status":"0","recid":"97","relation_version_is_last":true,"title":["A Study on Completeness and Soundness of the Connection Graph Proof Procedure"],"weko_creator_id":"3","weko_shared_id":3},"updated":"2023-11-20T00:48:25.140818+00:00"}