{"created":"2023-05-15T12:25:32.255033+00:00","id":830,"links":{},"metadata":{"_buckets":{"deposit":"c6607e40-d010-4007-95ed-6770250ee933"},"_deposit":{"created_by":4,"id":"830","owners":[4],"pid":{"revision_id":0,"type":"depid","value":"830"},"status":"published"},"_oai":{"id":"oai:kait.repo.nii.ac.jp:00000830","sets":["2:16:41:112"]},"author_link":[],"item_10002_biblio_info_7":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"1998-03-20","bibliographicIssueDateType":"Issued"},"bibliographicPageEnd":"126","bibliographicPageStart":"117","bibliographicVolumeNumber":"22","bibliographic_titles":[{"bibliographic_title":"神奈川工科大学研究報告.B,理工学編"}]}]},"item_10002_description_19":{"attribute_name":"フォーマット","attribute_value_mlt":[{"subitem_description":"application/pdf","subitem_description_type":"Other"}]},"item_10002_description_5":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"It is well known that Boolean algebra is one of the most important algebra for engineering,a nd the\nordinary set theory and the two-valued logic are different models or interpretations of Boolean algebra.\nKleene algebra, which is refered to also as fuzzy algebra, is obtained from Boolean algebra by replacing\nthe complementary law (the law of the excluded middle) in the axioms of Boolean algebra with Kleene's\nlaw,w here Kleene's law is aw eeker condition than the complementary law.R emoval of Kleene's law\nfrom Kleene algebra (or fuzzy algebra) gives De Morgan algebra, which is refered to also as quasi-Boolean\nalgebra. In this paper, we generate lattice structures of the above related algebraic systems having finite\nelements. From the result, we c叫dfind out the fact that the structure excepting for each element name\nbetween Kleene algebra and De Morgan algebra is the same from the lattice standpoint.","subitem_description_language":"en","subitem_description_type":"Abstract"}]},"item_10002_identifier_registration":{"attribute_name":"ID登録","attribute_value_mlt":[{"subitem_identifier_reg_text":"10.34411/00000823","subitem_identifier_reg_type":"JaLC"}]},"item_10002_publisher_8":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"神奈川工科大学"}]},"item_10002_source_id_11":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AN10074179","subitem_source_identifier_type":"NCID"}]},"item_10002_source_id_9":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"09161902","subitem_source_identifier_type":"PISSN"}]},"item_10002_version_type_20":{"attribute_name":"著者版フラグ","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_970fb48d4fbd8a85","subitem_version_type":"VoR"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"巽, 久行","creatorNameLang":"ja"}]},{"creatorNames":[{"creatorName":"荒木, 智行","creatorNameLang":"ja"}]},{"creatorNames":[{"creatorName":"向殿, 政男","creatorNameLang":"ja"}]},{"creatorNames":[{"creatorName":"徳増, 眞司","creatorNameLang":"ja"}]},{"creatorNames":[{"creatorName":"Tasumi, Hisayuki","creatorNameLang":"en"}]},{"creatorNames":[{"creatorName":"Araki, Tomoyuki","creatorNameLang":"en"}]},{"creatorNames":[{"creatorName":"Mukaidono, Masao","creatorNameLang":"en"}]},{"creatorNames":[{"creatorName":"Tokumasu, Shinji","creatorNameLang":"en"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2010-02-03"}],"displaytype":"detail","filename":"kkb-022-020.pdf","filesize":[{"value":"5.2 MB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"kkb-022-020.pdf","objectType":"fulltext","url":"https://kait.repo.nii.ac.jp/record/830/files/kkb-022-020.pdf"},"version_id":"1c52932f-ae87-48bb-bc4a-ec3ea9f691db"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"Boolean algebra, Kleene algebra, De Morgan algebra, finite lattice structure","subitem_subject_language":"en","subitem_subject_scheme":"Other"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"departmental bulletin paper","resourceuri":"http://purl.org/coar/resource_type/c_6501"}]},"item_title":"計算機による有限代数の生成と系の数について","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"計算機による有限代数の生成と系の数について","subitem_title_language":"ja"},{"subitem_title":"On Generation of Finite Algebras using Computer and their Count Number","subitem_title_language":"en"}]},"item_type_id":"10002","owner":"4","path":["112"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2020-11-24"},"publish_date":"2020-11-24","publish_status":"0","recid":"830","relation_version_is_last":true,"title":["計算機による有限代数の生成と系の数について"],"weko_creator_id":"4","weko_shared_id":-1},"updated":"2023-08-18T03:24:28.903563+00:00"}