2026-03-08T13:12:59Z https://kait.repo.nii.ac.jp/oai

oai:kait.repo.nii.ac.jp:00000884 2025-06-13T04:57:58Z 2:16:41:114

元の数13の有限クリーネ代数のハッセ図 Hasse Diagrams of Finite Kleene Algebra Having 13 elements 巽, 久行 Tasumi, Hisayuki 荒木, 智行 Araki, Tomoyuki 徳増, 眞司 Tokumasu, Shinji Boolean algebra Kleene algebra De Morgan algebra Hasse diagram application/pdf 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. departmental bulletin paper 神奈川工科大学 2000-03-20 VoR application/pdf 神奈川工科大学研究報告.B,理工学編 24 189 194 AN10074179 09161902 https://kait.repo.nii.ac.jp/record/884/files/kkb-024-025.pdf https://doi.org/10.34411/00000877 http://hdl.handle.net/10368/876 https://kait.repo.nii.ac.jp/records/884 jpn