A short proof of Glivenko theorems for intermediate predicate logics

DOI10.1007/S00153-013-0346-7zbMATH Open1316.03015OpenAlexW2044185428MaRDI QIDQ377463FDOQ377463

Authors Christian Espíndola

Publication date 6 November 2013

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL http://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-94966

zbMATH Keywords

double negation shiftGlivenko's theoremnegative translationsproof-theoretic methods

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Intermediate logics (03B55)

Recommendations

• On a generalization of Glivenko's theorem
• Glivenko theorems and negative translations in substructural predicate logics
• scientific article; zbMATH DE number 874285
• An approach to Glivenko's theorem in algebraizable logics
• Glivenko theorems for substructural logics over FL

Cites work

• scientific article; zbMATH DE number 3122413 (Why is no real title available?)
• scientific article; zbMATH DE number 949290 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• Applications of trees to intermediate logics
• Glivenko theorems and negative translations in substructural predicate logics
• Glivenko theorems revisited
• Intuitionistische Untersuchungen der formalistischen Logik
• On logics intermediate between intuitionistic and classical predicate logic
• On some properties of intermediate logics

Cited in

(16)

• On the proof theory of the intermediate logic MH
• The Jacobson radical for an inconsistency predicate
• THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY
• Le calcul des propositions classique et intuitionniste comme modèles l'un de l'autre
• Glivenko theorems for substructural logics over FL
• Glivenko's theorem, finite height, and local tabularity
• Glivenko and Kuroda for simple type theory
• Design of optimum systems of viscoelastic vibration absorbers for a given material based on the fractional calculus model
• Decidable variables for constructive logics
• Postponement of $\mathsf {raa}$ and Glivenko's theorem, revisited
• On a generalization of Glivenko's theorem
• Henkin's completeness proof and Glivenko's theorem
• A general Glivenko-Gödel theorem for nuclei
• Glivenko theorems and negative translations in substructural predicate logics
• Glivenko theorems revisited
• Glivenko type theorems for intuitionistic modal logics

This page was built for publication: A short proof of Glivenko theorems for intermediate predicate logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q377463)