A Study on Completeness and Soundness of the Connection Graph Proof Procedure
スポンサーリンク
概要
- 論文の詳細を見る
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.
- 天使大学の論文
- 2006-06-30
著者
関連論文
- ネットワークフォルダを利用したThunderbirdの動作改善
- フリーソフトウェア'R'を使った分散分析と多重比較の実践
- Notes for Comparison with Applications for Making Back-up Copies
- 授業の記録、蓄積、配信のための基盤構築(第2報)
- 平均値と中央値の関係(英文)
- オープンソースソフトウェアによる電子メール管理コンピュータの安全性対策
- 学習用ポータルサイト構築に関する教育研究
- EmacsでVMを利用する場合のMIME関連設定
- 命題論理における導出のための行列表現
- A Study on Completeness and Soundness of the Connection Graph Proof Procedure
- A Note on Writing and Distributing a Document with Mathematical Expressions : by using a Personal Computer
- アファイン暗号を学ぶ場合における方程式の混乱の解消とその応用(英文)
- Moodle LMS によるHLS ストリーミング
- 動画像をストリーミング配信する場合の転送速度測定実験