{"_buckets": {"deposit": "6cf2577f-0064-412f-8d6e-3570709fe572"}, "_deposit": {"id": "398", "owners": [], "pid": {"revision_id": 0, "type": "depid", "value": "398"}, "status": "published"}, "_oai": {"id": "oai:repository.nii.ac.jp:00000398", "sets": ["136"]}, "author_link": [], "control_number": "398", "item_5_biblio_info_30": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2004-12-28", "bibliographicIssueDateType": "Issued"}, "bibliographicPageEnd": "18", "bibliographicPageStart": "1", "bibliographic_titles": [{"bibliographic_title": "NIIテクニカル・レポート", "bibliographic_titleLang": "ja"}, {"bibliographic_title": "NII Technical Report", "bibliographic_titleLang": "en"}]}]}, "item_5_description_28": {"attribute_name": "抄録", "attribute_value_mlt": [{"subitem_description": "Constructive negation in intuitionistic logic (called strong negation) can be used to directly represent negative assertion, and for which its semantics is defined in Kripke models by two satisfaction relations. However, the interpretation and satisfaction based on the conventional semantics do not fit in with the definition of negation in knowledge representation when considering a double negation of the form $\\sim \\lnot$, for strong negation $\\sim$ and classical negation $\\lnot$ (which we call constructive double negation). The problem is caused by the fact that the semantics makes the axiom $\\sim \\lnot A \\leftrightarrow A$ valid. By way of solution, this paper proposes an alternative semantics for constructive double negation $\\sim \\lnot A$ by capturing the constructive meaning of the combinations of the two negations. In the semantics, we consider the constructive double negation $\\sim \\lnot A$ as partial to the classical double negation $\\lnot \\lnot A$ and as exclusive to the classical negation $\\lnot A$. Technically, we introduce infinite satisfaction relations to interpret the partiality that is sequentially created by each constructive double negation (of the forms $\\sim \\lnot A, \\sim \\lnot \\sim \\lnot A,\\ldots$).", "subitem_description_language": "en", "subitem_description_type": "Abstract"}]}, "item_5_identifier_registration": {"attribute_name": "ID登録", "attribute_value_mlt": [{"subitem_identifier_reg_text": "10.20736/0000000398", "subitem_identifier_reg_type": "JaLC"}]}, "item_5_publisher_31": {"attribute_name": "出版者", "attribute_value_mlt": [{"subitem_publisher": "国立情報学研究所", "subitem_publisher_language": "ja"}]}, "item_5_source_id_32": {"attribute_name": "ISSN", "attribute_value_mlt": [{"subitem_source_identifier": "1346-5597", "subitem_source_identifier_type": "ISSN"}]}, "item_creator": {"attribute_name": "著者", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "兼岩, 憲", "creatorNameLang": "ja"}, {"creatorName": "Kaneiwa, Ken", "creatorNameLang": "en"}]}]}, "item_files": {"attribute_name": "ファイル情報", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2015-08-27"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "04-010E.pdf", "filesize": [{"value": "201.8 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_free", "mimetype": "application/pdf", "size": 201800.0, "url": {"label": "NII Technical Report (NII-2004-010E)：On the Semantics of Classical First-Order Logic with Constructive Double Negation", "url": "https://repository.nii.ac.jp/record/398/files/04-010E.pdf"}, "version_id": "5043c4d9-6411-47bc-b710-6eb306b0c2c3"}]}, "item_keyword": {"attribute_name": "キーワード", "attribute_value_mlt": [{"subitem_subject": "テクニカルレポート", "subitem_subject_language": "ja", "subitem_subject_scheme": "Other"}, {"subitem_subject": "Technical Report", "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": "NII Technical Report (NII-2004-010E)：On the Semantics of Classical First-Order Logic with Constructive Double Negation", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "NII Technical Report (NII-2004-010E)：On the Semantics of Classical First-Order Logic with Constructive Double Negation", "subitem_title_language": "en"}]}, "item_type_id": "5", "owner": "1", "path": ["136"], "permalink_uri": "https://doi.org/10.20736/0000000398", "pubdate": {"attribute_name": "PubDate", "attribute_value": "2004-12-28"}, "publish_date": "2004-12-28", "publish_status": "0", "recid": "398", "relation": {}, "relation_version_is_last": true, "title": ["NII Technical Report (NII-2004-010E)：On the Semantics of Classical First-Order Logic with Constructive Double Negation"], "weko_shared_id": -1}