ログイン
言語:

WEKO3

  • トップ
  • ランキング
To
lat lon distance
To

Field does not validate



インデックスリンク

インデックスツリー

メールアドレスを入力してください。

WEKO

One fine body…

WEKO

One fine body…

アイテム

  1. 紀要論文・研究ノート
  2. 天使大学紀要
  3. 6巻

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/97
76157f49-7e5a-429e-80fe-7aeec72dabd4
名前 / ファイル ライセンス アクション
KJ00004682540.pdf 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
著者 川口, 雄一

× 川口, 雄一

ja 川口, 雄一
ISNI

ja-Kana カワグチ, ユウイチ

en KAWAGUCHI, Yuuichi

Search repository
著者名よみ 川口, 雄一

× 川口, 雄一

WEKO 265

ja 川口, 雄一
ISNI

ja-Kana カワグチ, ユウイチ

en KAWAGUCHI, Yuuichi

Search repository
著者名(英) 川口, 雄一

× 川口, 雄一

WEKO 265

ja 川口, 雄一
ISNI

ja-Kana カワグチ, ユウイチ

en KAWAGUCHI, Yuuichi

Search repository
著者所属(日)
天使大学看護栄養学部教養教育科
抄録(英)
内容記述タイプ 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
戻る
0
views
See details
Views

Versions

Ver.1 2023-06-19 07:23:53.787244
Show All versions

Share

Mendeley Twitter Facebook Print Addthis

Cite as

エクスポート

OAI-PMH
  • OAI-PMH JPCOAR 2.0
  • OAI-PMH JPCOAR 1.0
  • OAI-PMH DublinCore
  • OAI-PMH DDI
Other Formats
  • JSON
  • BIBTEX

Confirm


Powered by WEKO3


Powered by WEKO3