A theory of formal truth arithmetically equivalent to ID1
A theory of formal truth arithmetically equivalent to ID1
复制标题
数学上等价于 ID1 的形式真理论
DOI：
10.2307/2274965
复制
发表时间：
1990
影响因子：
0.6
通讯作者：
A. Cantini
中科院分区：
文献类型：
--
作者：
A. Cantini
摘要提出了Peano算法上的部分真值理论VF，并证明了VF与ID1具有相同的算术内容。VF的语义灵感来自于van Fraassen的超估值概念。
Abstract We present a theory VF of partial truth over Peano arithmetic and we prove that VF and ID1, have the same arithmetical content. The semantics of VF is inspired by van Fraassen's notion of supervaluation.