WEKO3
アイテム
{"_buckets": {"deposit": "a5338096-eee5-4bc3-8087-a8396d139492"}, "_deposit": {"created_by": 10, "id": "2650", "owners": [10], "pid": {"revision_id": 0, "type": "depid", "value": "2650"}, "status": "published"}, "_oai": {"id": "oai:nuis.repo.nii.ac.jp:00002650", "sets": ["84"]}, "author_link": ["2909", "3174"], "item_10002_biblio_info_7": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2016-04-01", "bibliographicIssueDateType": "Issued"}, "bibliographicPageEnd": "13", "bibliographicPageStart": "1", "bibliographicVolumeNumber": "2", "bibliographic_titles": [{"bibliographic_title": "新潟国際情報大学情報文化学部紀要"}]}]}, "item_10002_description_5": {"attribute_name": "抄録", "attribute_value_mlt": [{"subitem_description": "In this paper we will compare two logical systems PSC and Cn with a syntactical point of view. Because both notions of the pair-sentence with stage number in PSC and Gupta\u0027s sentence-definition with revision stage number in Cn are very similar, and both can deal with paradoxical sentences like a simple Liar sentence. His system was defined as a predicate calculus, but here we will introduce the propositional version of Cn for the comparison, and we had the following results: (1) C0 is a sublogic of PSC, or PSC is an extension of C0 under the two translations tC and tP. Similarly, PSCn is an extension of Cn. (2) If we extend the systems C0 and Cn by adding three properties: exchangeability, transitivity and relativity of revision indices, then two logics C0 and PSC (also Cn and PSCn) are syntactically equivalent. (3) We can calculate a cycle number of each pair sentence in PSC, but not in C0. (4) PSC can deal with multiple pair sentences, but difficult to deal with such multiple defnitions in Cn.", "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": "【Infomation Systems】", "subitem_heading_language": "en"}]}, "item_10002_publisher_8": {"attribute_name": "出版者", "attribute_value_mlt": [{"subitem_publisher": "新潟国際情報大学情報文化学部"}]}, "item_10002_source_id_11": {"attribute_name": "書誌レコードID(NCID)", "attribute_value_mlt": [{"subitem_source_identifier": "AA11231962", "subitem_source_identifier_type": "NCID"}]}, "item_10002_source_id_9": {"attribute_name": "ISSN", "attribute_value_mlt": [{"subitem_source_identifier": "2423-8465", "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": "Ishii, Tadao"}, {"creatorName": "イシイ, タダオ", "creatorNameLang": "ja-Kana"}], "nameIdentifiers": [{"nameIdentifier": "2909", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "Ishii, Tadao", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "3174", "nameIdentifierScheme": "WEKO"}]}]}, "item_files": {"attribute_name": "ファイル情報", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2018-07-09"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "kiyo_2016.01.03.pdf", "filesize": [{"value": "136.2 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_free", "mimetype": "application/pdf", "size": 136200.0, "url": {"label": "kiyo_2016.01.03.pdf", "url": "https://nuis.repo.nii.ac.jp/record/2650/files/kiyo_2016.01.03.pdf"}, "version_id": "13349595-fac6-429f-82aa-7d5fd7cc4c3e"}]}, "item_keyword": {"attribute_name": "キーワード", "attribute_value_mlt": [{"subitem_subject": "SCI", "subitem_subject_scheme": "Other"}, {"subitem_subject": "pair-sentence", "subitem_subject_scheme": "Other"}, {"subitem_subject": "Liar paradox", "subitem_subject_scheme": "Other"}, {"subitem_subject": "Tarski\u0027s biconditional", "subitem_subject_scheme": "Other"}, {"subitem_subject": "revision theory", "subitem_subject_scheme": "Other"}, {"subitem_subject": "SCI", "subitem_subject_language": "en", "subitem_subject_scheme": "Other"}, {"subitem_subject": "pair-sentence", "subitem_subject_language": "en", "subitem_subject_scheme": "Other"}, {"subitem_subject": "Liar paradox", "subitem_subject_language": "en", "subitem_subject_scheme": "Other"}, {"subitem_subject": "Tarski\u0027s biconditional", "subitem_subject_language": "en", "subitem_subject_scheme": "Other"}, {"subitem_subject": "revision theory", "subitem_subject_language": "en", "subitem_subject_scheme": "Other"}]}, "item_language": {"attribute_name": "言語", "attribute_value_mlt": [{"subitem_language": "eng"}]}, "item_resource_type": {"attribute_name": "資源タイプ", "attribute_value_mlt": [{"resourcetype": "departmental bulletin paper", "resourceuri": "http://purl.org/coar/resource_type/c_6501"}]}, "item_title": "A syntactical comparison between pair sentential calculus PSC and Gupta\u0027s definitional calculus Cn", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "A syntactical comparison between pair sentential calculus PSC and Gupta\u0027s definitional calculus Cn"}, {"subitem_title": "A syntactical comparison between pair sentential calculus PSC and Gupta\u0027s definitional calculus Cn", "subitem_title_language": "en"}]}, "item_type_id": "10002", "owner": "10", "path": ["84"], "permalink_uri": "https://nuis.repo.nii.ac.jp/records/2650", "pubdate": {"attribute_name": "公開日", "attribute_value": "2016-04-15"}, "publish_date": "2016-04-15", "publish_status": "0", "recid": "2650", "relation": {}, "relation_version_is_last": true, "title": ["A syntactical comparison between pair sentential calculus PSC and Gupta\u0027s definitional calculus Cn"], "weko_shared_id": -1}
A syntactical comparison between pair sentential calculus PSC and Gupta's definitional calculus Cn
https://nuis.repo.nii.ac.jp/records/2650
https://nuis.repo.nii.ac.jp/records/26504d9c24b5-713f-4456-bc84-b1019f548955
名前 / ファイル | ライセンス | アクション |
---|---|---|
kiyo_2016.01.03.pdf (136.2 kB)
|
|
Item type | 紀要論文 / Departmental Bulletin Paper(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2016-04-15 | |||||
タイトル | ||||||
タイトル | A syntactical comparison between pair sentential calculus PSC and Gupta's definitional calculus Cn | |||||
タイトル | ||||||
言語 | en | |||||
タイトル | A syntactical comparison between pair sentential calculus PSC and Gupta's definitional calculus Cn | |||||
言語 | ||||||
言語 | eng | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | SCI | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | pair-sentence | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | Liar paradox | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | Tarski's biconditional | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | revision theory | |||||
キーワード | ||||||
言語 | en | |||||
主題Scheme | Other | |||||
主題 | SCI | |||||
キーワード | ||||||
言語 | en | |||||
主題Scheme | Other | |||||
主題 | pair-sentence | |||||
キーワード | ||||||
言語 | en | |||||
主題Scheme | Other | |||||
主題 | Liar paradox | |||||
キーワード | ||||||
言語 | en | |||||
主題Scheme | Other | |||||
主題 | Tarski's biconditional | |||||
キーワード | ||||||
言語 | en | |||||
主題Scheme | Other | |||||
主題 | revision theory | |||||
資源タイプ | ||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||
資源タイプ | departmental bulletin paper | |||||
著者 |
Ishii, Tadao
× Ishii, Tadao× Ishii, Tadao |
|||||
抄録 | ||||||
内容記述タイプ | Abstract | |||||
内容記述 | In this paper we will compare two logical systems PSC and Cn with a syntactical point of view. Because both notions of the pair-sentence with stage number in PSC and Gupta's sentence-definition with revision stage number in Cn are very similar, and both can deal with paradoxical sentences like a simple Liar sentence. His system was defined as a predicate calculus, but here we will introduce the propositional version of Cn for the comparison, and we had the following results: (1) C0 is a sublogic of PSC, or PSC is an extension of C0 under the two translations tC and tP. Similarly, PSCn is an extension of Cn. (2) If we extend the systems C0 and Cn by adding three properties: exchangeability, transitivity and relativity of revision indices, then two logics C0 and PSC (also Cn and PSCn) are syntactically equivalent. (3) We can calculate a cycle number of each pair sentence in PSC, but not in C0. (4) PSC can deal with multiple pair sentences, but difficult to deal with such multiple defnitions in Cn. | |||||
書誌情報 |
新潟国際情報大学情報文化学部紀要 巻 2, p. 1-13, 発行日 2016-04-01 |
|||||
出版者 | ||||||
出版者 | 新潟国際情報大学情報文化学部 | |||||
ISSN | ||||||
収録物識別子タイプ | ISSN | |||||
収録物識別子 | 2423-8465 | |||||
NCID | ||||||
収録物識別子タイプ | NCID | |||||
収録物識別子 | AA11231962 | |||||
著者版フラグ | ||||||
出版タイプ | VoR | |||||
出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||
見出し | ||||||
大見出し | 【情報系】 | |||||
言語 | ja | |||||
見出し | ||||||
大見出し | 【Infomation Systems】 | |||||
言語 | en |