Postponement of $\mathsf {raa}$ and Glivenko's theorem, revisited
From MaRDI portal
Publication:2631646
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
Related Items
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
