A short proof of Glivenko theorems for intermediate predicate logics

DOI10.1007/S00153-013-0346-7MaRDI QIDQ377463zbMATH OpenOpenAlexFDO

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

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

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

• Applications of trees to intermediate logics
• Glivenko theorems and negative translations in substructural predicate logics
• Glivenko theorems revisited
• 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?)
• Intuitionistische Untersuchungen der formalistischen Logik
• On logics intermediate between intuitionistic and classical predicate logic
• On some properties of intermediate logics

Cited in

(19)

• Glivenko theorems revisited
• Le calcul des propositions classique et intuitionniste comme modèles l'un de l'autre
• Glivenko theorems and negative translations in substructural predicate logics
• Postponement of $\mathsf {raa}$ and Glivenko's theorem, revisited
• On a generalization of Glivenko's theorem
• 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
• Glivenko theorems for substructural logics over FL
• Henkin's completeness proof and Glivenko's theorem
• On the proof theory of the intermediate logic MH
• scientific article; zbMATH DE number 874285 (Why is no real title available?)
• Glivenko's theorem, finite height, and local tabularity
• Remarks on a nice theorem of Monsieur Glivenko
• The Jacobson radical for an inconsistency predicate
• THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY
• Glivenko type theorems for intuitionistic modal logics
• Decidable variables for constructive logics
• A general Glivenko-Gödel theorem for nuclei
• Conservation as translation

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)