Order:
  1.  18
    Postponement of $$Mathsf {}$$ and Glivenko’s Theorem, Revisited.Giulio Guerrieri & Alberto Naibo - 2019 - Studia Logica 107 (1):109-144.
    We study how to postpone the application of the reductio ad absurdum rule ) 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 \, which induces a negative translation from classical to intuitionistic and minimal logic. Through this translation, Glivenko’s theorem from classical to intuitionistic and minimal logic is proven.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  24
    Postponement of Reduction Ad Absurdum and Glivenko’s Theorem, Revisited.Giulio Guerrieri & Alberto Naibo - forthcoming - Studia Logica:1-36.
    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 from classical to intuitionistic and minimal logic. Through this translation, Glivenko’s theorem from classical to intuitionistic and minimal logic is proven.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3. The Problem of Harmony in Classical Logic.Giulio Guerrieri & Alberto Naibo - forthcoming - In Martin Blicha & Igor Sedlár (eds.), The Logica Yearbook 2019.
    No categories
     
    Export citation  
     
    Bookmark