Yet Another Proof of Glivenko's Theorem

Pedro Sánchez Terraf

In this short note we give an alternative proof of Glivenko's Theorem, stating that a formula $\varphi$ is provable in classical propositional logic if and only if $\neg \neg \varphi$ is provabl…