Item type |
デフォルトアイテムタイプ(フル)(1) |
公開日 |
2020-05-29 |
タイトル |
|
|
タイトル |
A three-valued temporal logic for future contingents |
|
言語 |
en |
作成者 |
Akama, Seiki
Nagata, Yasunori
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,
発行日 2007
|