Sciweavers

Share
NDJFL
2016

Boolean Algebras in Visser Algebras

3 years 10 days ago
Boolean Algebras in Visser Algebras
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. Mathematics Subject Classification: Primary: 03G05, 03G25, 06D20, secondary: 03B20.
Majid Alizadeh, Mohammad Ardeshir, Wim Ruitenburg
Added 08 Apr 2016
Updated 08 Apr 2016
Type Journal
Year 2016
Where NDJFL
Authors Majid Alizadeh, Mohammad Ardeshir, Wim Ruitenburg
Comments (0)
books