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

DOI10.1007/S11225-017-9781-5MaRDI QIDQ2631646zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

proof theorynatural deductionnegative translationreductio ad absurdum

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• Glivenko and Kuroda for simple type theory
• Remarks on a nice theorem of Monsieur Glivenko
• A new normalization strategy for the implicational fragment of classical propositional logic
• A short proof of Glivenko theorems for intermediate predicate logics
• On a generalization of Glivenko's theorem

Cites work

• scientific article; zbMATH DE number 6307933 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• A proof-theoretic foundation of abortive continuations
• A short proof of Glivenko theorems for intermediate predicate logics
• Elements of logical reasoning
• Glivenko and Kuroda for simple type theory
• Glivenko theorems and negative translations in substructural predicate logics
• Glivenko theorems for substructural logics over FL
• Glivenko theorems revisited
• Intuitionistische Untersuchungen der formalistischen Logik
• Normal derivability in classical natural deduction
• Normalization and excluded middle. I
• Normalization theorems for full first order classical natural deduction
• On constructive fragments of classical logic
• On second order intuitionistic propositional logic without a universal quantifier
• On the proof theory of the intermediate logic MH
• Postponement of $\mathsf {raa}$ and Glivenko's theorem, revisited
• Subminimal logic and weak algebras
• Uniform provability in classical logic

Cited in

(5)

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

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)