| Item type |
紀要論文 / Departmental Bulletin Paper(1) |
| 公開日 |
2020-11-24 |
| タイトル |
|
|
タイトル |
元の数13の有限クリーネ代数のハッセ図 |
|
言語 |
ja |
| タイトル |
|
|
タイトル |
Hasse Diagrams of Finite Kleene Algebra Having 13 elements |
|
言語 |
en |
| 言語 |
|
|
言語 |
jpn |
| キーワード |
|
|
言語 |
en |
|
主題Scheme |
Other |
|
主題 |
Boolean algebra |
| キーワード |
|
|
言語 |
en |
|
主題Scheme |
Other |
|
主題 |
Kleene algebra |
| キーワード |
|
|
言語 |
en |
|
主題Scheme |
Other |
|
主題 |
De Morgan algebra |
| キーワード |
|
|
言語 |
en |
|
主題Scheme |
Other |
|
主題 |
Hasse diagram |
| 資源タイプ |
|
|
資源タイプ識別子 |
http://purl.org/coar/resource_type/c_6501 |
|
資源タイプ |
departmental bulletin paper |
| ID登録 |
|
|
ID登録 |
10.34411/00000877 |
|
ID登録タイプ |
JaLC |
| 著者 |
巽, 久行
荒木, 智行
徳増, 眞司
|
| 抄録 |
|
|
内容記述タイプ |
Abstract |
|
内容記述 |
Kleene algebra, which is refered to also as fuzzy algebra, is an algebraic system of fuzzy set or fuzzy logic. It is well known that Boolean algebra is one of the most important algebra for engineering, and the ordinary set theory and the two-valued logic are different models or interpretations of Boolean algebra. A fundamental differrence between Boolean algebra and Kleene algebra is the fact that the complementary law (the law of the excluded middle) in the axioms of Boolean algebra is replaced by the Kleene's law, where Kleene's law is a weeker condition than the complementary law. Removal of Kleene's law from Kleene algebra gives De Morgan algebra, which is refered to also as quasi-Boolean algebra. We have been enumerated the finite Kleene algebra having I2 elements or less, and appeared Hasse diagrams of these. In this paper, we give Kleene algebra having 13 elements and its Hasse diagrams. |
|
言語 |
en |
| 書誌情報 |
神奈川工科大学研究報告.B,理工学編
巻 24,
p. 189-194,
発行日 2000-03-20
|
| 出版者 |
|
|
出版者 |
神奈川工科大学 |
| ISSN |
|
|
収録物識別子タイプ |
PISSN |
|
収録物識別子 |
09161902 |
| 書誌レコードID |
|
|
収録物識別子タイプ |
NCID |
|
収録物識別子 |
AN10074179 |
| フォーマット |
|
|
内容記述タイプ |
Other |
|
内容記述 |
application/pdf |
| 著者版フラグ |
|
|
出版タイプ |
VoR |
|
出版タイプResource |
http://purl.org/coar/version/c_970fb48d4fbd8a85 |
kkb-024-025.pdf (2.6 MB)
