Interrelation between Weak Fragments of Double Negation Shift and Related Principles

Makoto Fujiwara, Ulrich Kohlenbach

Research output: Contribution to journalArticle

1 Citation (Scopus)


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.

Original languageEnglish
Pages (from-to)991-1012
Number of pages22
JournalJournal of Symbolic Logic
Issue number3
Publication statusPublished - 2018 Sep 1



  • fragments of classical logic
  • intuitionistic arithmetic and analysis
  • Phrasesdouble negation shift

ASJC Scopus subject areas

  • Philosophy
  • Logic

Cite this