| File | |
| Title |
クリーネ論理の完全性定理
|
| Title |
Completeness Theorem of Kleene Logic
|
| Title Transcription |
クリーネ ロンリ ノ カンゼンセイ テイリ
|
| Creator |
Kondo Michiro
|
| Source Title |
島根大学理学部紀要
Memoirs of the Faculty of Science, Shimane University
|
| Volume | 29 |
| Start Page | 77 |
| End Page | 87 |
| Journal Identifire |
ISSN 03879925
|
| Descriptions |
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. |
| Language |
eng
|
| Resource Type | departmental bulletin paper |
| Publisher |
島根大学理学部
The Faculty of Science, Shimane University
|
| Date of Issued | 1995-12-25 |
| Access Rights | open access |
| Relation |
[NCID] AN00108106
|
