WEKO3
アイテム
A Study on Completeness and Soundness of the Connection Graph Proof Procedure
https://tenshi.repo.nii.ac.jp/records/97
https://tenshi.repo.nii.ac.jp/records/9776157f49-7e5a-429e-80fe-7aeec72dabd4
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
KJ00004682540.pdf (341.2 kB)
|
|
| Item type | 紀要論文(ELS) / Departmental Bulletin Paper(1) | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2006-06-30 | |||||||||||
| タイトル | ||||||||||||
| タイトル | A Study on Completeness and Soundness of the Connection Graph Proof Procedure | |||||||||||
| 言語 | en | |||||||||||
| 言語 | ||||||||||||
| 言語 | eng | |||||||||||
| キーワード | ||||||||||||
| 言語 | en | |||||||||||
| 主題Scheme | Other | |||||||||||
| 主題 | completeness | |||||||||||
| キーワード | ||||||||||||
| 言語 | en | |||||||||||
| 主題Scheme | Other | |||||||||||
| 主題 | soundness | |||||||||||
| キーワード | ||||||||||||
| 言語 | en | |||||||||||
| 主題Scheme | Other | |||||||||||
| 主題 | connection graph | |||||||||||
| キーワード | ||||||||||||
| 言語 | en | |||||||||||
| 主題Scheme | Other | |||||||||||
| 主題 | propositional logic | |||||||||||
| 資源タイプ | ||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||||||
| 資源タイプ | departmental bulletin paper | |||||||||||
| ページ属性 | ||||||||||||
| 内容記述タイプ | Other | |||||||||||
| 内容記述 | P(論文) | |||||||||||
| 記事種別(日) | ||||||||||||
| 論文 | ||||||||||||
| 記事種別(英) | ||||||||||||
| en | ||||||||||||
| Article | ||||||||||||
| 論文名よみ | ||||||||||||
| その他のタイトル | A Study on Completeness and Soundness of the Connection Graph Proof Procedure | |||||||||||
| 著者 |
川口, 雄一
× 川口, 雄一
|
|||||||||||
| 著者名よみ |
川口, 雄一
× 川口, 雄一 |
|||||||||||
| 著者名(英) |
川口, 雄一
× 川口, 雄一 |
|||||||||||
| 著者所属(日) | ||||||||||||
| 天使大学看護栄養学部教養教育科 | ||||||||||||
| 抄録(英) | ||||||||||||
| 内容記述タイプ | Other | |||||||||||
| 内容記述 | 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. | |||||||||||
| 書誌情報 |
天使大学紀要 en : Bulletin of Tenshi College 巻 6, p. 31-35, 発行日 2006-06-30 |
|||||||||||
| ISSN | ||||||||||||
| 収録物識別子タイプ | NCID | |||||||||||
| 収録物識別子 | AA11568183 | |||||||||||
