ダウンロード数 : ?
タイトルヨミ
クリーネ ロンリ ノ カンゼンセイ テイリ
日本語以外のタイトル
Completeness Theorem of Kleene Logic
ファイル
言語
英語
著者
近藤 通朗
内容記述(抄録等)
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.
掲載誌名
島根大学理学部紀要
29
開始ページ
77
終了ページ
87
ISSN
03879925
発行日
1995-12-25
NCID
AN00108106
出版者
島根大学理学部
出版者別表記
The Faculty of Science, Shimane University
資料タイプ
紀要論文
部局
総合理工学部
他の一覧
このエントリーをはてなブックマークに追加