{"created":"2023-05-15T11:44:55.093597+00:00","id":3298,"links":{},"metadata":{"_buckets":{"deposit":"413ac22e-c601-46d7-b142-125c54f94286"},"_deposit":{"created_by":10,"id":"3298","owners":[10],"pid":{"revision_id":0,"type":"depid","value":"3298"},"status":"published"},"_oai":{"id":"oai:nuis.repo.nii.ac.jp:00003298","sets":["8:91:103"]},"author_link":["2955","3906"],"item_10002_biblio_info_7":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2021-04-01","bibliographicIssueDateType":"Issued"},"bibliographicPageEnd":"13","bibliographicPageStart":"1","bibliographicVolumeNumber":"4","bibliographic_titles":[{"bibliographic_title":"新潟国際情報大学経営情報学部紀要"},{"bibliographic_title":"Journal of Niigata University of International and Information Studies Faculty of Business and Informatics","bibliographic_titleLang":"en"}]}]},"item_10002_description_5":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"In this paper, we will investigate how to introduce the complex number notation for the\ntruth value in logic. The truth value in a logic is used to interpret whether a given\nproposition is valid or not. The proposition are notated by formulas, which are constructed\nfrom the set of atomic propo-sitional variables V AR by the standard truth functional\nconnectives: ¬(negation), ∧ (conjunction), ∨ (disjunction) and → (material implication). So, to\ninterpret a formula, we need at first to define a truth assignment function v : V AR → { 0, 1 }.\nHere { 0, 1 } is a set of truth values in 2-valued logic. As the valid formulas in 2-valued logic,\nlaw of excluded middle, law of noncontradiction, law of double negation, De Morgan’s laws\nand Lewis principles are well-known. On the other hand, there exists a situation in which\n2-valued logic, i.e. law of excluded middle A∨¬A was not valid. To interpret such a\nsituation, there are proposed several kinds of non-standard logics, intuitionistic logic, De\nMorgan logic and Ł- ukasiewicz 3-valued logic, for instance. The validity of formulas in nonstandard\nlogics, are defined on the order relation among the truth value set of many\nnumerical elements. Therefore, in order to exploit the strong analytical property of complex\nnumber domain, we will propose the complex number notation, precisely v(B) = v(A)eiθ as\nthe interpretation of a pair sentence (A, B), instead of using natural number or real number\nas the truth value notation in logic.","subitem_description_type":"Abstract"}]},"item_10002_heading_23":{"attribute_name":"見出し","attribute_value_mlt":[{"subitem_heading_banner_headline":"【論文】","subitem_heading_language":"ja"},{"subitem_heading_banner_headline":"<>","subitem_heading_language":"en"}]},"item_10002_publisher_8":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"新潟国際情報大学経営情報学部"}]},"item_10002_source_id_9":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"2434-2939","subitem_source_identifier_type":"ISSN"}]},"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":"石井, 忠夫"},{"creatorName":"イシイ, タダオ","creatorNameLang":"ja-Kana"}],"nameIdentifiers":[{"nameIdentifier":"2955","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"ISHII, Tadao","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"3906","nameIdentifierScheme":"WEKO"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2021-03-31"}],"displaytype":"detail","filename":"kiyo_2021.03.01.pdf","filesize":[{"value":"1.6 MB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"kiyo_2021.03.01","url":"https://nuis.repo.nii.ac.jp/record/3298/files/kiyo_2021.03.01.pdf"},"version_id":"edc322b0-cb61-47c8-8e74-1fc4fd954c69"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"2値論理","subitem_subject_scheme":"Other"},{"subitem_subject":"直観主義論理","subitem_subject_scheme":"Other"},{"subitem_subject":"ド・モルガン論理","subitem_subject_scheme":"Other"},{"subitem_subject":"多値論理","subitem_subject_scheme":"Other"},{"subitem_subject":"真理値の複素数表記","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":"Complex Number Notation for the Truth Value in Logic","subitem_title_language":"en"}]},"item_type_id":"10002","owner":"10","path":["103"],"pubdate":{"attribute_name":"公開日","attribute_value":"2021-03-31"},"publish_date":"2021-03-31","publish_status":"0","recid":"3298","relation_version_is_last":true,"title":["論理における真理値の複素数表記"],"weko_creator_id":"10","weko_shared_id":-1},"updated":"2023-05-15T12:22:45.638876+00:00"}