Postponement of $\mathsf {raa}$ and Glivenko's theorem, revisited

DOI10.1007/s11225-017-9781-5OpenAlexW2790591958MaRDI QIDQ2631646

Alberto Naibo, Giulio Guerrieri

Publication date: 15 May 2019

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-017-9781-5

zbMATH Keywords

proof theorynatural deductionnegative translationreductio ad absurdum

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (4)

General proof theory: introduction ⋮ Postponement of $\mathsf {raa}$ and Glivenko's theorem, revisited ⋮ The Jacobson radical for an inconsistency predicate ⋮ THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A short proof of Glivenko theorems for intermediate predicate logics
• Normalization and excluded middle. I
• Glivenko theorems revisited
• Glivenko theorems and negative translations in substructural predicate logics
• A proof-theoretic foundation of abortive continuations
• Postponement of $\mathsf {raa}$ and Glivenko's theorem, revisited
• NORMAL DERIVABILITY IN CLASSICAL NATURAL DEDUCTION
• GLIVENKO AND KURODA FOR SIMPLE TYPE THEORY
• Glivenko theorems for substructural logics over FL
• On second order intuitionistic propositional logic without a universal quantifier
• On the proof theory of the intermediate logic MH
• Normalization theorems for full first order classical natural deduction
• Uniform provability in classical logic
• On Constructive Fragments of Classical Logic
• Intuitionistische Untersuchungen der formalistischen Logik

This page was built for publication: Postponement of $\mathsf {raa}$ and Glivenko's theorem, revisited