Glivenko type theorems for intuitionistic modal logics

DOI10.1023/A:1010577628486zbMATH Open1045.03020OpenAlexW1526233291MaRDI QIDQ5939999FDOQ5939999

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

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

Mathematics Subject Classification ID

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

Cited In (15)

• Glivenko like theorems in natural expansions of BCK-logic
• Title not available (Why is that?)
• On the Blok-Esakia Theorem
• Title not available (Why is that?)
• Birkhoff's and Mal'cev's theorems for implicational tonoid logics
• Title not available (Why is that?)
• On some proof theoretical properties of the modal logic GL
• Esakia duals of regular Heyting algebras
• The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem
• An algebraic study of S5-modal Gödel logic
• 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
• Title not available (Why is that?)
• 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)