島根大学理学部
ISSN:0387-9925
ダウンロード数 : ? 件
この文献の参照には次のURLをご利用ください : https://ir.lib.shimane-u.ac.jp/686
島根大学理学部紀要 29
1995-12-25 発行
クリーネ論理の完全性定理
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.
(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.
About This Article
Other Article