Glivenko theorems revisited

DOI10.1016/j.apal.2009.05.006zbMath1181.03021OpenAlexW2027211978MaRDI QIDQ1035660

Hiroakira Ono

Publication date: 4 November 2009

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2009.05.006

zbMATH Keywords

substructural logicsGlivenko theoremproof-theoretic methods

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items

Postponement of $\mathsf {raa}$ and Glivenko's theorem, revisited ⋮ The Jacobson radical for an inconsistency predicate ⋮ THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY ⋮ A short proof of Glivenko theorems for intermediate predicate logics ⋮ Glivenko theorems and negative translations in substructural predicate logics ⋮ Structural and universal completeness in algebra and logic ⋮ Double negation semantics for generalisations of Heyting algebras ⋮ Unnamed Item ⋮ A proof-theoretic approach to negative translations in intuitionistic tense logics

Cites Work

• Residuated lattices. An algebraic glimpse at substructural logics
• Hájek basic fuzzy logic and Łukasiewicz infinite-valued logic
• Glivenko theorems for substructural logics over FL
• Unnamed Item