ログイン
言語:

WEKO3

  • トップ
  • ランキング
To
lat lon distance
To

Field does not validate



インデックスリンク

インデックスツリー

メールアドレスを入力してください。

WEKO

One fine body…

WEKO

One fine body…

アイテム

{"_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\u2019s three-valued logic cannot supply a satisfactory treatment of future contingents. The defense of Lukasiewicz\u2019s three-valued logic can be found in the work of Prior. Inspired by Prior\u2019s suggestions to future contingents, we propose a new three-valued temporal logic FCP, in which the interpretation of negation differs from Lukasiewicz\u2019s 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": "\u8ad6\u6587", "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": [{"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}
  1. 学術雑誌論文
  2. その他
  1. 部局別インデックス
  2. 工学部

A three-valued temporal logic for future contingents

http://hdl.handle.net/20.500.12000/45951
http://hdl.handle.net/20.500.12000/45951
a053543c-255d-4a38-bc1b-9f9ef70aa764
名前 / ファイル ライセンス アクション
1657-1637-1-PB.pdf 1657-1637-1-PB.pdf
Item type デフォルトアイテムタイプ(フル)(1)
公開日 2020-05-29
タイトル
タイトル A three-valued temporal logic for future contingents
言語 en
作成者 Akama, Seiki

× Akama, Seiki

en Akama, Seiki

Nagata, Yasunori

× Nagata, Yasunori

en Nagata, Yasunori

Yamada, Chikatoshi

× Yamada, Chikatoshi

en Yamada, Chikatoshi

アクセス権
アクセス権 open access
アクセス権URI http://purl.org/coar/access_right/c_abf2
内容記述
内容記述タイプ Other
内容記述 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.
内容記述タイプ Other
内容記述 論文
出版者
言語 en
出版者 Peeters Publishers
言語
言語 eng
資源タイプ
資源タイプ journal article
資源タイプ識別子 http://purl.org/coar/resource_type/c_6501
出版タイプ
出版タイプ VoR
出版タイプResource http://purl.org/coar/version/c_970fb48d4fbd8a85
識別子
識別子 http://hdl.handle.net/20.500.12000/45951
識別子タイプ HDL
関連情報
関連識別子
識別子タイプ URI
関連識別子 http://www.logiqueetanalyse.be/
収録物識別子
収録物識別子タイプ ISSN
収録物識別子 2295-5836
収録物名
言語 en
収録物名 Logique et Analyse
書誌情報
巻 50, 号 198, p. 99-111
戻る
0
views
See details
Views

Versions

Ver.1 2022-02-02 02:08:17.598486
Show All versions

Share

Mendeley Twitter Facebook Print Addthis

Cite as

エクスポート

OAI-PMH
  • OAI-PMH JPCOAR
  • OAI-PMH DublinCore
  • OAI-PMH DDI
Other Formats
  • JSON

確認


Powered by WEKO3


Powered by WEKO3