アクセス数 : 1300 件
ダウンロード数 : 118 件
この文献の参照には次のURLをご利用ください : https://ir.lib.shimane-u.ac.jp/686
島根大学理学部紀要 29 巻
1995-12-25 発行
クリーネ論理の完全性定理
Completeness Theorem of Kleene Logic
近藤 通朗
本文ファイル
c0010029r009.pdf
( 740 KB )
内容記述
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
Pages
Other Article