Download PDFOpen PDF in browserA new Glivenko Theorem4 pages•Published: July 28, 2014AbstractWe generalize the double negation construction of Boolean algebras in Heytingalgebras, to a double negation construction of the same in Visser algebras (also known as basic algebras). This result allows us to generalize Glivenko's Theorem from intuitionistic propositional logic and Heyting algebras to Visser's basic propositional logic and Visser algebras. Keyphrases: boolean algebra, glivenko theorem, visser logic In: Nikolaos Galatos, Alexander Kurz and Constantine Tsinakis (editors). TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, vol 25, pages 191-194.
|