Interrelation between Weak Fragments of Double Negation Shift and Related Principles

Makoto Fujiwara; Ulrich Kohlenbach

doi:10.1017/jsl.2017.63

Interrelation between Weak Fragments of Double Negation Shift and Related Principles

Makoto Fujiwara, Ulrich Kohlenbach

Waseda Institute for Advanced Study

Research output: Contribution to journal › Article › peer-review

7 Citations (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 language	English
Pages (from-to)	991-1012
Number of pages	22
Journal	Journal of Symbolic Logic
Volume	83
Issue number	3
DOIs	https://doi.org/10.1017/jsl.2017.63
Publication status	Published - 2018 Sept 1

Keywords

fragments of classical logic
intuitionistic arithmetic and analysis
Phrasesdouble negation shift

ASJC Scopus subject areas

Philosophy
Logic

Access to Document

10.1017/jsl.2017.63

Cite this

@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 = sep,

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

AN - SCOPUS:85055470016

SN - 0022-4812

VL - 83

SP - 991

EP - 1012

JO - Journal of Symbolic Logic

JF - Journal of Symbolic Logic

IS - 3

ER -

Interrelation between Weak Fragments of Double Negation Shift and Related Principles

Abstract

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this