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

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

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

(14)

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