Glivenko type theorems for intuitionistic modal logics

DOI10.1023/A:1010577628486MaRDI QIDQ5939999zbMATH OpenOpenAlexFDO

Authors Guram Bezhanishvili

Publication date 2001

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1010577628486

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• A short proof of Glivenko theorems for intermediate predicate logics
• On a generalization of Glivenko's theorem
• An approach to Glivenko's theorem in algebraizable logics
• Glivenko theorems for substructural logics over FL
• Le calcul des propositions classique et intuitionniste comme modèles l'un de l'autre

Cited in

(15)

• Glivenko like theorems in natural expansions of BCK-logic
• scientific article; zbMATH DE number 7204446 (Why is no real title available?)
• scientific article; zbMATH DE number 7668111 (Why is no real title available?)
• scientific article; zbMATH DE number 2058485 (Why is no real title available?)
• Birkhoff's and Mal'cev's theorems for implicational tonoid logics
• On some proof theoretical properties of the modal logic GL
• The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem
• Esakia duals of regular Heyting algebras
• An algebraic study of S5-modal Gödel logic
• On the Blok-Esakia theorem
• An approach to Glivenko's theorem in algebraizable logics
• A modal analog for Glivenko's theorem and its applications
• A proof-theoretic approach to negative translations in intuitionistic tense logics
• scientific article; zbMATH DE number 269844 (Why is no real title available?)
• Le calcul des propositions classique et intuitionniste comme modèles l'un de l'autre

This page was built for publication: Glivenko type theorems for intuitionistic modal logics

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