Glivenko theorems and negative translations in substructural predicate logics
From MaRDI portal
Publication:1938390
DOI10.1007/s00153-012-0293-8zbMath1277.03015MaRDI QIDQ1938390
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
Glivenko theorem; double negation shift; negative translations; proof-theoretic methods; substructural predicate logics
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