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

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

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)

Cites Work

• Title not available (Why is that?)
• 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
• On logics intermediate between intuitionistic and classical predicate logic
• Applications of trees to intermediate logics
• On some properties of intermediate logics

Cited In (16)

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

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)