| File | |
| Title |
Kleene Algebra and Modal Logic
|
| Creator |
Kondo Michiro
|
| Source Title |
島根大学総合理工学部紀要. シリーズB
|
| Volume | 34 |
| Start Page | 53 |
| End Page | 60 |
| Journal Identifire |
ISSN 13427121
|
| Descriptions |
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 Ω.
|
| Subjects | |
| Language |
eng
|
| Resource Type | departmental bulletin paper |
| Publisher |
島根大学総合理工学部
|
| Date of Issued | 2001-03 |
| Publish Type | Version of Record |
| Access Rights | open access |
| Relation |
[NCID] AA11157123
|
