Majid Alizadeh, Mohammad Ardeshir, Wim Ruitenburg. A new Glivenko Theorem. In Nikolaos Galatos, Alexander Kurz, Constantine Tsinakis, editors, TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28 - August 1, 2013. Volume 25 of EPiC Series, pages 191-194, EasyChair, 2013. [doi]
Abstract is missing.