| ファイル | |
| 言語 |
英語
|
| 著者 |
近藤 通朗
|
| 内容記述（抄録等） | 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 Ω.
|
| 主題 | Kleene Algebra
Modal Logic
|
| 掲載誌名 |
島根大学総合理工学部紀要. シリーズB
|
| 巻 | 34
|
| 開始ページ | 53
|
| 終了ページ | 60
|
| ISSN | 13427121
|
| 発行日 | 2001-03
|
| NCID | AA11157123
|
| 出版者 | 島根大学総合理工学部
|
| 資料タイプ |
紀要論文
|
| ファイル形式 |
PDF
|
| 著者版/出版社版 |
出版社版
|
| 部局 |
（旧組織）大学院総合理工学研究科
|
| 他の一覧 |
