A short proof of Glivenko theorems for intermediate predicate logics

DOI10.1007/s00153-013-0346-7zbMath1316.03015OpenAlexW2044185428MaRDI QIDQ377463

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)

Related Items (5)

Postponement of $\mathsf {raa}$ and Glivenko's theorem, revisited ⋮ The Jacobson radical for an inconsistency predicate ⋮ THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY ⋮ Decidable variables for constructive logics ⋮ Design of Optimum Systems of Viscoelastic Vibration Absorbers for a Given Material Based on the Fractional Calculus Model

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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
• Intuitionistische Untersuchungen der formalistischen Logik

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