| ファイル情報(添付) | |
| タイトル |
クリーネ論理の完全性定理
|
| タイトル |
Completeness Theorem of Kleene Logic
|
| タイトル 読み |
クリーネ ロンリ ノ カンゼンセイ テイリ
|
| 著者 |
近藤 通朗
|
| 収録物名 |
島根大学理学部紀要
Memoirs of the Faculty of Science, Shimane University
|
| 巻 | 29 |
| 開始ページ | 77 |
| 終了ページ | 87 |
| 収録物識別子 |
ISSN 03879925
|
| 内容記述 |
抄録・要旨
In this paper we shall define a Kleene logic whose Lindenbaum algebra is the Kleene algebra with implication (simply called i-Kleene algebra) and show that
(1) Every i-Kleene algebra can be embedded to the simplest i-Kleene algebra 3 = {O,1/2,1}; (2) The Lindenbaum algebra of the Kleene logic is an i-Kleene algebra ; (3) The completeness theorem of the Kleene logic is established ; (4) The Kleene logic is decidable. |
| 言語 |
英語
|
| 資源タイプ | 紀要論文 |
| 出版者 |
島根大学理学部
The Faculty of Science, Shimane University
|
| 発行日 | 1995-12-25 |
| アクセス権 | オープンアクセス |
| 関連情報 |
[NCID]
AN00108106
|
