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

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

• 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

zbMATH Keywords

proof theorynatural deductionnegative translationreductio ad absurdum

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

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)

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

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)