Ëukasiewicz, supervaluations, and the future
Ëukasiewicz, supervaluations, and the future
复制标题
Ëukasiewicz、超估价和未来
DOI：
--
复制
发表时间：
2005
期刊：
影响因子：
--
通讯作者：
Greg Restall
中科院分区：
文献类型：
--
作者：
Greg Restall
在本文中，我考虑的未来特遣队的解释，激发统一的尤卡谢维奇风格的逻辑与更经典的超赋值语义。这反过来又激发了一种新的非经典逻辑模型，这种模型“迄今为止被历史所实现”。“我给出了一个简单的希尔伯特式的证明理论，以及关于预期模型的证明理论的可靠性和完整性论证。
In this paper I consider an interpretation of future contingents which motivates a unification of a Eukasiewicz-style logic with the more classi- cal supervaluational semantics. This in turn motivates a new non-classical logic modelling what is "made true by history up until now." I give a simple Hilbert- style proof theory, and a soundness and completeness argument for the proof theory with respect to the intended models.