Interrelation between Weak Fragments of Double Negation Shift and Related Principles

Makoto Fujiwara, Ulrich Kohlenbach

Research output: Contribution to journalArticle

1 Citation (Scopus)

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.

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

    Fingerprint

Keywords

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

ASJC Scopus subject areas

  • Philosophy
  • Logic

Cite this