Interrelation between Weak Fragments of Double Negation Shift and Related Principles

Makoto Fujiwara, Ulrich Kohlenbach

研究成果: Article査読

7 被引用数 (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.

本文言語English
ページ(範囲)991-1012
ページ数22
ジャーナルJournal of Symbolic Logic
83
3
DOI
出版ステータスPublished - 2018 9月 1

ASJC Scopus subject areas

  • 哲学
  • 論理

フィンガープリント

「Interrelation between Weak Fragments of Double Negation Shift and Related Principles」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル