Postponement of raa and Glivenko’s Theorem, Revisited

Giulio Guerrieri, Alberto Naibo

Research output: Contribution to journalArticlepeer-review

6 Citations (SciVal)

Abstract

We study how to postpone the application of the reductio ad absurdum rule (raa) in classical natural deduction. This technique is connected with two normalization strategies for classical logic, due to Prawitz and Seldin, respectively. We introduce a variant of Seldin’s strategy for the postponement of raa, which induces a negative translation (a variant of Kuroda’s one) from classical to intuitionistic and minimal logic. Through this translation, Glivenko’s theorem from classical to intuitionistic and minimal logic is proven.

Original languageEnglish
Pages (from-to)109-144
Number of pages36
JournalStudia Logica
Volume107
Issue number1
Early online date9 Mar 2018
DOIs
Publication statusPublished - 15 Feb 2019

Keywords

  • Natural deduction
  • Negative translation
  • Proof theory
  • Reductio ad absurdum.

ASJC Scopus subject areas

  • Logic
  • History and Philosophy of Science

Fingerprint

Dive into the research topics of 'Postponement of raa and Glivenko’s Theorem, Revisited'. Together they form a unique fingerprint.

Cite this