FUJIWARA, KOHLENBACH, 2018. INTERRELATION BETWEEN WEAK FRAGMENTS OF DOUBLE NEGATION SHIFT AND RELATED PRINCIPLES 83.. https://doi.org/10.1017/jsl.2017.63