Abstract
We generalize the double negation construction of Boolean algebras in Heyting algebras 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.
Citation
Majid Alizadeh. Mohammad Ardeshir. Wim Ruitenburg. "Boolean Algebras in Visser Algebras." Notre Dame J. Formal Logic 57 (1) 141 - 150, 2016. https://doi.org/10.1215/00294527-3339473
Information