Glivenko theorems and negative translations in substructural predicate logics

DOI10.1007/s00153-012-0293-8zbMath1277.03015OpenAlexW2008035652MaRDI 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 theoremdouble negation shiftnegative translationsproof-theoretic methodssubstructural predicate logics

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items

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

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