| File | |
| language |
eng
|
| Author |
Kondo, Michiro
|
| 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 Ω.
|
| Subject | Kleene Algebra
Modal Logic
|
| Journal Title |
島根大学総合理工学部紀要. シリーズB
|
| Volume | 34
|
| Start Page | 53
|
| End Page | 60
|
| ISSN | 13427121
|
| Published Date | 2001-03
|
| NCID | AA11157123
|
| Publisher | 島根大学総合理工学部
|
| NII Type |
Departmental Bulletin Paper
|
| Format |
PDF
|
| Text Version |
出版社版
|
| OAI-PMH Set |
Interdisciplinary Graduate School of Science and Engineering
|
| 他の一覧 |
