島根大学総合理工学研究科
ISSN:1342-7121
number of downloads : ?
Use this link to cite this item : https://ir.lib.shimane-u.ac.jp/3369
Memoirs of the Graduate School of Science and Engineering, Shimane University. Series B, Mathematics 34
2001-03 発行
Kleene Algebra and Modal Logic
Kondo, Michiro
File
Description
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
Other Article