The Friedman-Sheard programme in intuitionistic logic
The Friedman-Sheard programme in intuitionistic logic
复制标题
直觉逻辑中的弗里德曼-谢尔德纲领
DOI：
10.2178/jsl/1344862162
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
Leigh G
中科院分区：
文献类型：
--
作者：
Leigh G
登录
查看更多内容
影响因子：
1.5
作者：
Vann McGee
通讯作者：
Vann McGee
自我参照真理的公理化方法
影响因子：
0.8
作者：
H. Friedman;M. Sheard
通讯作者：
M. Sheard
完整且一致的真理体系
DOI：
--
发表时间：
1994
期刊：
Notre Dame J. Formal Log.
影响因子：
--
作者：
V. Halbach
通讯作者：
V. Halbach
数学上等价于 ID1 的形式真理论
影响因子：
0.6
作者：
A. Cantini
通讯作者：
A. Cantini
对弗里德曼-谢尔德理论和其他真理理论的证明理论研究
DOI：
--
发表时间：
2010
期刊：
影响因子：
--
作者：
Graham Emil Leigh
通讯作者：
Graham Emil Leigh