Failure of Completeness in Proof-Theoretic Semantics
Failure of Completeness in Proof-Theoretic Semantics
复制标题
证明理论语义的完整性失败
DOI：
10.1007/s10992-014-9322-x
复制
发表时间：
2014
影响因子：
1.5
通讯作者：
P. (with W. de Campos Sanz)
中科院分区：
文献类型：
--
作者：
Piecha;Schroeder-Heister;P. (with W. de Campos Sanz)
登录
查看更多内容
关于直觉形式系统中 A→B ν C,A →(Ex)B(x) 类型的公式
DOI：
--
发表时间：
1960
期刊：
Journal of Symbolic Logic (JSL)
影响因子：
--
作者：
R. Harrop
通讯作者：
R. Harrop
迈向一般证明理论的基础
DOI：
10.1016/s0049-237x(09)70361-1
发表时间：
1973
期刊：
Studies in logic and the foundations of mathematics
影响因子：
--
作者：
D. Prawitz
通讯作者：
D. Prawitz
自然演绎的自然延伸
DOI：
--
发表时间：
1984
期刊：
Journal of Symbolic Logic (JSL)
影响因子：
--
作者：
P. Schroeder
通讯作者：
P. Schroeder
影响因子：
1
作者：
Tor Sandqvist
通讯作者：
Tor Sandqvist
DOI：
10.1109/lics.1993.287585
发表时间：
1993-06
期刊：
[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science
影响因子：
--
作者：
P. Schroeder-Heister
通讯作者：
P. Schroeder-Heister