On a generalization of Glivenko's theorem

MaRDI QIDQ2804042zbMATH OpenFDO

Authors Vladimir M. Popov

Publication date 27 April 2016

Published in Logicheskie Issledovaniya (Search for Journal in Brave)

zbMATH Keywords

calculus \(\mathrm{GInt}_{\langle\omega,\omega\rangle}\)calculus \(\mathrm{HInt}_{\langle\omega,\omega\rangle}\), L-logic \(\mathrm{Int}_{\langle\omega,\omega\rangle}\)classical propositional logicGlivenko's theoremGlivenko's type logicintuitionistic propositional logicL-logiclanguage L

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• Glivenko theorems for substructural logics over FL
• An approach to Glivenko's theorem in algebraizable logics
• A short proof of Glivenko theorems for intermediate predicate logics
• Glivenko theorems and negative translations in substructural predicate logics
• Glivenko theorems revisited

Cited in

(17)

• A general Glivenko theorem
• Le calcul des propositions classique et intuitionniste comme modèles l'un de l'autre
• A modal analog for Glivenko's theorem and its applications
• Glivenko theorems and negative translations in substructural predicate logics
• Postponement of $\mathsf {raa}$ and Glivenko's theorem, revisited
• Glivenko and Kuroda for simple type theory
• scientific article; zbMATH DE number 458924 (Why is no real title available?)
• Glivenko theorems for substructural logics over FL
• A short proof of Glivenko theorems for intermediate predicate logics
• scientific article; zbMATH DE number 874285 (Why is no real title available?)
• Glivenko's theorem, finite height, and local tabularity
• Remarks on a nice theorem of Monsieur Glivenko
• scientific article; zbMATH DE number 2215992 (Why is no real title available?)
• Glivenko type theorems for intuitionistic modal logics
• Boolean algebras in Visser algebras
• Glivenko theorem for \(N^\ast\)-extensions
• An approach to Glivenko's theorem in algebraizable logics

This page was built for publication: On a generalization of Glivenko's theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2804042)