{"_buckets": {"deposit": "6dd63e2a-9d4e-437d-8d25-95239e87bda5"}, "_deposit": {"id": "2012400", "owners": [1], "pid": {"revision_id": 0, "type": "depid", "value": "2012400"}, "status": "published"}, "_oai": {"id": "oai:u-ryukyu.repo.nii.ac.jp:02012400", "sets": ["1642838338003", "1642838406845"]}, "author_link": [], "item_1617186331708": {"attribute_name": "Title", "attribute_value_mlt": [{"subitem_1551255647225": "A three-valued temporal logic for future contingents", "subitem_1551255648112": "en"}]}, "item_1617186419668": {"attribute_name": "Creator", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "Akama, Seiki", "creatorNameLang": "en"}]}, {"creatorNames": [{"creatorName": "Nagata, Yasunori", "creatorNameLang": "en"}]}, {"creatorNames": [{"creatorName": "Yamada, Chikatoshi", "creatorNameLang": "en"}]}]}, "item_1617186476635": {"attribute_name": "Access Rights", "attribute_value_mlt": [{"subitem_1522299639480": "open access", "subitem_1600958577026": "http://purl.org/coar/access_right/c_abf2"}]}, "item_1617186626617": {"attribute_name": "Description", "attribute_value_mlt": [{"subitem_description": "It is now recognized that Lukasiewicz’s three-valued logic cannot supply a satisfactory treatment of future contingents. The defense of Lukasiewicz’s three-valued logic can be found in the work of Prior. Inspired by Prior’s suggestions to future contingents, we propose a new three-valued temporal logic FCP, in which the interpretation of negation differs from Lukasiewicz’s negation. It is shown in the logic that contingent propositions have the indeterminate truth-value while logically true propositions like the law of excluded middle have the determinate truth-values. We discuss some features of the proposed logic in comparison with the other approaches to future contingents in the literature.", "subitem_description_type": "Other"}, {"subitem_description": "論文", "subitem_description_type": "Other"}]}, "item_1617186643794": {"attribute_name": "Publisher", "attribute_value_mlt": [{"subitem_1522300295150": "en", "subitem_1522300316516": "Peeters Publishers"}]}, "item_1617186702042": {"attribute_name": "Language", "attribute_value_mlt": [{"subitem_1551255818386": "eng"}]}, "item_1617186783814": {"attribute_name": "Identifier", "attribute_value_mlt": [{"subitem_identifier_type": "HDL", "subitem_identifier_uri": "http://hdl.handle.net/20.500.12000/45951"}]}, "item_1617186920753": {"attribute_name": "Source Identifier", "attribute_value_mlt": [{"subitem_1522646500366": "ISSN", "subitem_1522646572813": "2295-5836"}]}, "item_1617186941041": {"attribute_name": "Source Title", "attribute_value_mlt": [{"subitem_1522650068558": "en", "subitem_1522650091861": "Logique et Analyse"}]}, "item_1617187056579": {"attribute_name": "Bibliographic Information", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2007", "bibliographicIssueDateType": "Issued"}, "bibliographicIssueNumber": "198", "bibliographicPageEnd": "111", "bibliographicPageStart": "99", "bibliographicVolumeNumber": "50"}]}, "item_1617258105262": {"attribute_name": "Resource Type", "attribute_value_mlt": [{"resourcetype": "journal article", "resourceuri": "http://purl.org/coar/resource_type/c_6501"}]}, "item_1617265215918": {"attribute_name": "Version Type", "attribute_value_mlt": [{"subitem_1522305645492": "VoR", "subitem_1600292170262": "http://purl.org/coar/version/c_970fb48d4fbd8a85"}]}, "item_1617353299429": {"attribute_name": "Relation", "attribute_value_mlt": [{"subitem_1522306287251": {"subitem_1522306382014": "URI", "subitem_1522306436033": "http://www.logiqueetanalyse.be/"}}]}, "item_1617605131499": {"attribute_name": "File", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_access", "download_preview_message": "", "file_order": 0, "filename": "1657-1637-1-PB.pdf", "future_date_message": "", "is_thumbnail": false, "mimetype": "", "size": 0, "url": {"objectType": "fulltext", "url": "https://u-ryukyu.repo.nii.ac.jp/record/2012400/files/1657-1637-1-PB.pdf"}, "version_id": "11f452fa-a15b-4be1-a674-163bb359ca25"}]}, "item_title": "A three-valued temporal logic for future contingents", "item_type_id": "15", "owner": "1", "path": ["1642838338003", "1642838406845"], "permalink_uri": "http://hdl.handle.net/20.500.12000/45951", "pubdate": {"attribute_name": "PubDate", "attribute_value": "2020-05-29"}, "publish_date": "2020-05-29", "publish_status": "0", "recid": "2012400", "relation": {}, "relation_version_is_last": true, "title": ["A three-valued temporal logic for future contingents"], "weko_shared_id": -1}
A three-valued temporal logic for future contingents
http://hdl.handle.net/20.500.12000/45951
http://hdl.handle.net/20.500.12000/45951