Postponement of \mathsf {raa} and Glivenko's theorem, revisited
From MaRDI portal
Publication:2631646
DOI10.1007/S11225-017-9781-5OpenAlexW2790591958MaRDI QIDQ2631646FDOQ2631646
Authors: Giulio Guerrieri, Alberto Naibo
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
Recommendations
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Intuitionistische Untersuchungen der formalistischen Logik
- Glivenko theorems revisited
- Glivenko theorems and negative translations in substructural predicate logics
- A short proof of Glivenko theorems for intermediate predicate logics
- Glivenko theorems for substructural logics over FL
- On the proof theory of the intermediate logic MH
- Normalization and excluded middle. I
- On second order intuitionistic propositional logic without a universal quantifier
- A proof-theoretic foundation of abortive continuations
- Uniform provability in classical logic
- Normal derivability in classical natural deduction
- Normalization theorems for full first order classical natural deduction
- On constructive fragments of classical logic
- Title not available (Why is that?)
- Subminimal logic and weak algebras
- Elements of logical reasoning
- Postponement of $\mathsf {raa}$ and Glivenko's theorem, revisited
- Glivenko and Kuroda for simple type theory
Cited In (5)
This page was built for publication: Postponement of $\mathsf {raa}$ and Glivenko's theorem, revisited
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2631646)