Postponement of raa and Glivenko’s Theorem, Revisited

Giulio Guerrieri, Alberto Naibo

Research output: Contribution to journalArticlepeer-review

6 Citations (SciVal)


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
Issue number1
Early online date9 Mar 2018
Publication statusPublished - 15 Feb 2019


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

ASJC Scopus subject areas

  • Logic
  • History and Philosophy of Science


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

Cite this