アクセス数 : 1126 件
ダウンロード数 : 75 件
この文献の参照には次のURLをご利用ください : https://ir.lib.shimane-u.ac.jp/3369
島根大学総合理工学部紀要. シリーズB 34 巻
2001-03 発行
Kleene Algebra and Modal Logic
近藤 通朗
本文ファイル
c0020034r004.pdf
( 103 KB )
内容記述
In this paper we define a Kleene algebra L and a certain modal logic Ω and consider the relation between them. We shall show that if L has countable generators then some quotient algebra L/_～is isomorphic to a subalgebra of the Lindenbaum-Tarski algebra Ω/≡for Ω.
About This Article
Pages
Other Article