WEKO3
アイテム
計算機による有限代数の生成と系の数について
https://doi.org/10.34411/00000823
https://doi.org/10.34411/00000823f592cd08-4d80-4ed0-8bf2-ee9d0bb3c1ab
名前 / ファイル | ライセンス | アクション |
---|---|---|
kkb-022-020.pdf (5.2 MB)
|
|
Item type | 紀要論文 / Departmental Bulletin Paper(1) | |||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
公開日 | 2020-11-24 | |||||||||||||||||||||
タイトル | ||||||||||||||||||||||
タイトル | 計算機による有限代数の生成と系の数について | |||||||||||||||||||||
言語 | ja | |||||||||||||||||||||
タイトル | ||||||||||||||||||||||
タイトル | On Generation of Finite Algebras using Computer and their Count Number | |||||||||||||||||||||
言語 | en | |||||||||||||||||||||
言語 | ||||||||||||||||||||||
言語 | jpn | |||||||||||||||||||||
キーワード | ||||||||||||||||||||||
言語 | en | |||||||||||||||||||||
主題Scheme | Other | |||||||||||||||||||||
主題 | Boolean algebra, Kleene algebra, De Morgan algebra, finite lattice structure | |||||||||||||||||||||
資源タイプ | ||||||||||||||||||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||||||||||||||||
資源タイプ | departmental bulletin paper | |||||||||||||||||||||
ID登録 | ||||||||||||||||||||||
ID登録 | 10.34411/00000823 | |||||||||||||||||||||
ID登録タイプ | JaLC | |||||||||||||||||||||
著者 |
巽, 久行
× 巽, 久行
× 荒木, 智行
× 向殿, 政男
× 徳増, 眞司
× Tasumi, Hisayuki
× Araki, Tomoyuki
× Mukaidono, Masao
× Tokumasu, Shinji
|
|||||||||||||||||||||
抄録 | ||||||||||||||||||||||
内容記述タイプ | Abstract | |||||||||||||||||||||
内容記述 | It is well known that Boolean algebra is one of the most important algebra for engineering,a nd the ordinary set theory and the two-valued logic are different models or interpretations of Boolean algebra. Kleene algebra, which is refered to also as fuzzy algebra, is obtained from Boolean algebra by replacing the complementary law (the law of the excluded middle) in the axioms of Boolean algebra with Kleene's law,w here Kleene's law is aw eeker condition than the complementary law.R emoval of Kleene's law from Kleene algebra (or fuzzy algebra) gives De Morgan algebra, which is refered to also as quasi-Boolean algebra. In this paper, we generate lattice structures of the above related algebraic systems having finite elements. From the result, we c叫dfind out the fact that the structure excepting for each element name between Kleene algebra and De Morgan algebra is the same from the lattice standpoint. |
|||||||||||||||||||||
言語 | en | |||||||||||||||||||||
書誌情報 |
神奈川工科大学研究報告.B,理工学編 巻 22, p. 117-126, 発行日 1998-03-20 |
|||||||||||||||||||||
出版者 | ||||||||||||||||||||||
出版者 | 神奈川工科大学 | |||||||||||||||||||||
ISSN | ||||||||||||||||||||||
収録物識別子タイプ | PISSN | |||||||||||||||||||||
収録物識別子 | 09161902 | |||||||||||||||||||||
書誌レコードID | ||||||||||||||||||||||
収録物識別子タイプ | NCID | |||||||||||||||||||||
収録物識別子 | AN10074179 | |||||||||||||||||||||
フォーマット | ||||||||||||||||||||||
内容記述タイプ | Other | |||||||||||||||||||||
内容記述 | application/pdf | |||||||||||||||||||||
著者版フラグ | ||||||||||||||||||||||
出版タイプ | VoR | |||||||||||||||||||||
出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 |