Glivenko theorems and negative translations in substructural predicate logics

DOI10.1007/s00153-012-0293-8zbMath1277.03015MaRDI QIDQ1938390

Hadi Farahani, Hiroakira Ono

Publication date: 4 February 2013

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

Full work available at URL: https://doi.org/10.1007/s00153-012-0293-8

zbMATH Keywords

Glivenko theorem; double negation shift; negative translations; proof-theoretic methods; substructural predicate logics

Mathematics Subject Classification ID

03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)

03F03: Proof theory in general (including proof-theoretic semantics)

Related Items

Unnamed Item, Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory, A short proof of Glivenko theorems for intermediate predicate logics, Double negation semantics for generalisations of Heyting algebras, Postponement of $\mathsf {raa}$ and Glivenko's theorem, revisited

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Residuated lattices. An algebraic glimpse at substructural logics
• Glivenko theorems revisited
• Glivenko theorems for substructural logics over FL
• Shoenfield is Gödel after Krivine
• 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