島根大学総合理工学部紀要.シリーズB

ダウンロード数 : ?
島根大学総合理工学部紀要.シリーズB 34
2001-03 発行

Kleene Algebra and Modal Logic

近藤 通朗
ファイル
内容記述(抄録等)
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 Ω.