number of downloads : ?
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
他の一覧
このエントリーをはてなブックマークに追加