number of downloads : ?
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
他の一覧
このエントリーをはてなブックマークに追加