WEKO3
アイテム
{"_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": ["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": "\u003c\u003cArticles\u003e\u003e", "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", "download_preview_message": "", "file_order": 0, "filename": "kiyo_2021.03.01.pdf", "filesize": [{"value": "1.6 MB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_free", "mimetype": "application/pdf", "size": 1600000.0, "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"], "permalink_uri": "https://nuis.repo.nii.ac.jp/records/3298", "pubdate": {"attribute_name": "公開日", "attribute_value": "2021-03-31"}, "publish_date": "2021-03-31", "publish_status": "0", "recid": "3298", "relation": {}, "relation_version_is_last": true, "title": ["論理における真理値の複素数表記"], "weko_shared_id": -1}
論理における真理値の複素数表記
https://nuis.repo.nii.ac.jp/records/3298
https://nuis.repo.nii.ac.jp/records/3298ec9deefe-252b-442f-9762-d7427261481a
名前 / ファイル | ライセンス | アクション |
---|---|---|
kiyo_2021.03.01 (1.6 MB)
|
|
Item type | 紀要論文 / Departmental Bulletin Paper(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2021-03-31 | |||||
タイトル | ||||||
タイトル | 論理における真理値の複素数表記 | |||||
タイトル | ||||||
言語 | en | |||||
タイトル | Complex Number Notation for the Truth Value in Logic | |||||
言語 | ||||||
言語 | jpn | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | 2値論理 | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | 直観主義論理 | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | ド・モルガン論理 | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | 多値論理 | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | 真理値の複素数表記 | |||||
資源タイプ | ||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||
資源タイプ | departmental bulletin paper | |||||
著者 |
石井, 忠夫
× 石井, 忠夫× ISHII, Tadao |
|||||
抄録 | ||||||
内容記述タイプ | Abstract | |||||
内容記述 | In this paper, we will investigate how to introduce the complex number notation for the truth value in logic. The truth value in a logic is used to interpret whether a given proposition is valid or not. The proposition are notated by formulas, which are constructed from the set of atomic propo-sitional variables V AR by the standard truth functional connectives: ¬(negation), ∧ (conjunction), ∨ (disjunction) and → (material implication). So, to interpret a formula, we need at first to define a truth assignment function v : V AR → { 0, 1 }. Here { 0, 1 } is a set of truth values in 2-valued logic. As the valid formulas in 2-valued logic, law of excluded middle, law of noncontradiction, law of double negation, De Morgan’s laws and Lewis principles are well-known. On the other hand, there exists a situation in which 2-valued logic, i.e. law of excluded middle A∨¬A was not valid. To interpret such a situation, there are proposed several kinds of non-standard logics, intuitionistic logic, De Morgan logic and Ł- ukasiewicz 3-valued logic, for instance. The validity of formulas in nonstandard logics, are defined on the order relation among the truth value set of many numerical elements. Therefore, in order to exploit the strong analytical property of complex number domain, we will propose the complex number notation, precisely v(B) = v(A)eiθ as the interpretation of a pair sentence (A, B), instead of using natural number or real number as the truth value notation in logic. |
|||||
書誌情報 |
新潟国際情報大学経営情報学部紀要 en : Journal of Niigata University of International and Information Studies Faculty of Business and Informatics 巻 4, p. 1-13, 発行日 2021-04-01 |
|||||
出版者 | ||||||
出版者 | 新潟国際情報大学経営情報学部 | |||||
ISSN | ||||||
収録物識別子タイプ | ISSN | |||||
収録物識別子 | 2434-2939 | |||||
著者版フラグ | ||||||
出版タイプ | VoR | |||||
出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||
見出し | ||||||
大見出し | 【論文】 | |||||
言語 | ja | |||||
見出し | ||||||
大見出し | <<Articles>> | |||||
言語 | en |