| ファイル情報(添付) | |
| タイトル |
Kleene Algebra and Modal Logic
|
| 著者 |
近藤 通朗
|
| 収録物名 |
島根大学総合理工学部紀要. シリーズB
|
| 巻 | 34 |
| 開始ページ | 53 |
| 終了ページ | 60 |
| 収録物識別子 |
ISSN 13427121
|
| 内容記述 |
抄録・要旨
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
|
| 言語 |
英語
|
| 資源タイプ | 紀要論文 |
| 出版者 |
島根大学総合理工学部
|
| 発行日 | 2001-03 |
| 出版タイプ | Version of Record（出版社版。早期公開を含む） |
| アクセス権 | オープンアクセス |
| 関連情報 |
[NCID]
AA11157123
|
