INTERRELATION BETWEEN WEAK FRAGMENTS OF DOUBLE NEGATION SHIFT AND RELATED PRINCIPLES
INTERRELATION BETWEEN WEAK FRAGMENTS OF DOUBLE NEGATION SHIFT AND RELATED PRINCIPLES
复制标题
双否定移位弱片段之间的相互关系及相关原理
DOI：
10.1017/jsl.2017.63
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
U. Kohlenbach
中科院分区：
文献类型：
--
作者：
M. Fujiwara;U. Kohlenbach
摘要我们研究了两个弱片段的双重否定转移模式，这是动机，分别从斯佩克特的一致性证明的ACA 0和从负的翻译的RCA 0，以及双重否定的变体的逻辑原则。它们在直觉算术和分析上的相互关系完全解决了。
Abstract We investigate two weak fragments of the double negation shift schema, which are motivated, respectively, from Spector’s consistency proof of ACA0 and from the negative translation of RCA0, as well as double negated variants of logical principles. Their interrelations over both intuitionistic arithmetic and analysis are completely solved.
DOI：
--
发表时间：
2005
期刊：
Oxford Logic Guides 48
影响因子：
--
作者：
Hajime Ishihara
通讯作者：
Hajime Ishihara
DOI：
--
发表时间：
2004
期刊：
Proceedings of 19^<th> annual IEEE symposium on logic in computer science
影响因子：
--
作者：
Y.Akama;S.Berardi;U.Kohlenbach;S.Hayashi
通讯作者：
S.Hayashi