{"created":"2023-05-15T15:24:44.487247+00:00","id":12083,"links":{},"metadata":{"_buckets":{"deposit":"db40b136-0cd1-4de2-b2ef-2a0118b030a6"},"_deposit":{"created_by":3,"id":"12083","owners":[3],"pid":{"revision_id":0,"type":"depid","value":"12083"},"status":"published"},"_oai":{"id":"oai:sucra.repo.nii.ac.jp:00012083","sets":["81:99"]},"author_link":["16418"],"item_119_biblio_info_8":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2002","bibliographicIssueDateType":"Issued"},"bibliographicPageEnd":"145","bibliographicPageStart":"141","bibliographic_titles":[{"bibliographic_title":"Proceedings of Ninth International Symposium on Temporal Representation and Reasoning:TIME-02"}]}]},"item_119_date_31":{"attribute_name":"作成日","attribute_value_mlt":[{"subitem_date_issued_datetime":"2009-09-28","subitem_date_issued_type":"Created"}]},"item_119_description_19":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"Simple partial logic (=SPL) is, broadly speaking, an extensional logic which allows for the truth-value gap. First I give a system of propositional SPL by partializing classical logic, as well as extending it with several non-classical truth-functional operators. Second I show a way based on SPL to construct a system of tensed ontology, by representing tensed statements as two kinds of necessary statements in a linear model that consists of the present and future worlds. Finally I compare that way with other two ways based on ÃLukasiewicz’s threevalued logic and branching temporal logic.","subitem_description_type":"Abstract"}]},"item_119_description_29":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"subitem_description":"text","subitem_description_type":"Other"}]},"item_119_description_30":{"attribute_name":"フォーマット","attribute_value_mlt":[{"subitem_description":"application/pdf","subitem_description_type":"Other"}]},"item_119_publisher_11":{"attribute_name":"出版者名","attribute_value_mlt":[{"subitem_publisher":"IEEE"}]},"item_119_text_27":{"attribute_name":"版","attribute_value_mlt":[{"subitem_text_value":"[著者版]"}]},"item_119_text_3":{"attribute_name":"著者 ローマ字","attribute_value_mlt":[{"subitem_text_value":"Kachi, Daisuke"}]},"item_119_text_32":{"attribute_name":"アイテムID","attribute_value_mlt":[{"subitem_text_value":"A1003159"}]},"item_119_text_4":{"attribute_name":"著者 所属","attribute_value_mlt":[{"subitem_text_value":"埼玉大学教養学部"}]},"item_119_text_5":{"attribute_name":"著者 所属(別言語)","attribute_value_mlt":[{"subitem_text_value":"Faculty of Liberal Arts, Saitama University"}]},"item_119_text_9":{"attribute_name":"年月次","attribute_value_mlt":[{"subitem_text_value":"2002"}]},"item_119_version_type_28":{"attribute_name":"著者版フラグ","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_ab4af688f83e57aa","subitem_version_type":"AM"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"加地, 大介"},{"creatorName":"カチ, ダイスケ","creatorNameLang":"ja-Kana"}],"nameIdentifiers":[{},{}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2018-01-24"}],"displaytype":"detail","filename":"A1003159.pdf","filesize":[{"value":"78.5 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"A1003159.pdf","url":"https://sucra.repo.nii.ac.jp/record/12083/files/A1003159.pdf"},"version_id":"3b6d5781-41b4-407f-b497-667c0a9b7b4b"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"eng"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"journal article","resourceuri":"http://purl.org/coar/resource_type/c_6501"}]},"item_title":"Tensed Ontology based on Simple Partial Logic","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"Tensed Ontology based on Simple Partial Logic"}]},"item_type_id":"119","owner":"3","path":["99"],"pubdate":{"attribute_name":"公開日","attribute_value":"2009-09-28"},"publish_date":"2009-09-28","publish_status":"0","recid":"12083","relation_version_is_last":true,"title":["Tensed Ontology based on Simple Partial Logic"],"weko_creator_id":"3","weko_shared_id":-1},"updated":"2023-05-16T13:19:02.377638+00:00"}