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

Schema
Fragment
Double Negation
Logic

Keywords

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

ASJC Scopus subject areas

  • Philosophy
  • Logic

Cite this

Interrelation between Weak Fragments of Double Negation Shift and Related Principles. / Fujiwara, Makoto; Kohlenbach, Ulrich.

In: Journal of Symbolic Logic, Vol. 83, No. 3, 01.09.2018, p. 991-1012.

Research output: Contribution to journalArticle

Fujiwara, Makoto ; Kohlenbach, Ulrich. / Interrelation between Weak Fragments of Double Negation Shift and Related Principles. In: Journal of Symbolic Logic. 2018 ; Vol. 83, No. 3. pp. 991-1012.
@article{74cb68c82f4d47109492eb0c0c3a13df,
title = "Interrelation between Weak Fragments of Double Negation Shift and Related Principles",
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.",
keywords = "fragments of classical logic, intuitionistic arithmetic and analysis, Phrasesdouble negation shift",
author = "Makoto Fujiwara and Ulrich Kohlenbach",
year = "2018",
month = "9",
day = "1",
doi = "10.1017/jsl.2017.63",
language = "English",
volume = "83",
pages = "991--1012",
journal = "Journal of Symbolic Logic",
issn = "0022-4812",
publisher = "Association for Symbolic Logic",
number = "3",

}

TY - JOUR

T1 - Interrelation between Weak Fragments of Double Negation Shift and Related Principles

AU - Fujiwara, Makoto

AU - Kohlenbach, Ulrich

PY - 2018/9/1

Y1 - 2018/9/1

N2 - 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.

AB - 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.

KW - fragments of classical logic

KW - intuitionistic arithmetic and analysis

KW - Phrasesdouble negation shift

UR - http://www.scopus.com/inward/record.url?scp=85055470016&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85055470016&partnerID=8YFLogxK

U2 - 10.1017/jsl.2017.63

DO - 10.1017/jsl.2017.63

M3 - Article

VL - 83

SP - 991

EP - 1012

JO - Journal of Symbolic Logic

JF - Journal of Symbolic Logic

SN - 0022-4812

IS - 3

ER -