We observe that Henkin's argument for the completeness theorem yields also a classical semantic proof of Glivenko's theorem and leads in a straightforward way to the weakest intermediate logic for which that theorem still holds. Some refinements of the completeness theorem can also be obtained.
