e/Glivenko's theorem

Information
has gloss	eng: Glivenko's theorem is a basic result showing a close connection between classical and intuitionistic propositional logic. It was proven by Valery Glivenko in 1929, with the aim of showing that intuitionistic logic is consistent and coherent. The theorem was proven relative to an axiomatisation of intuitionistic logic provided by Glivenko, one of the first attempts to axiomatise the logic.
lexicalization	eng: Glivenko's theorem
instance of	e/Mathematical Theorems