On a generalization of Glivenko's theorem

zbMATH Open1338.03009MaRDI QIDQ2804042FDOQ2804042

Authors: Vladimir M. Popov 

Publication date: 27 April 2016

Published in: Logicheskie Issledovaniya (Search for Journal in Brave)

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

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)

Cited In (14)

• Glivenko theorems and negative translations in substructural predicate logics
• Glivenko theorems for substructural logics over FL
• Boolean algebras in Visser algebras
• Glivenko and Kuroda for simple type theory
• Glivenko theorem for \(N^\ast\)-extensions
• A general Glivenko theorem
• Title not available (Why is that?)
• Glivenko type theorems for intuitionistic modal logics
• Title not available (Why is that?)
• An approach to Glivenko's theorem in algebraizable logics
• A modal analog for Glivenko's theorem and its applications
• Glivenko's theorem, finite height, and local tabularity
• A short proof of Glivenko theorems for intermediate predicate logics
• Le calcul des propositions classique et intuitionniste comme modèles l'un de l'autre

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)