| Title Transcription | クリーネ ロンリ ノ カンゼンセイ テイリ
|
| Title Alternative (English) | Completeness Theorem of Kleene Logic
|
| File | |
| language |
eng
|
| Author |
Kondo, Michiro
|
| Description | 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. |
| Journal Title |
Memoirs of the Faculty of Science, Shimane University
|
| Volume | 29
|
| Start Page | 77
|
| End Page | 87
|
| ISSN | 03879925
|
| Published Date | 1995-12-25
|
| NCID | AN00108106
|
| Publisher | 島根大学理学部
|
| Publisher Aalternative | The Faculty of Science, Shimane University
|
| NII Type |
Departmental Bulletin Paper
|
| OAI-PMH Set |
Faculty of Science and Engineering
|
| 他の一覧 |
