Sciweavers

NDJFL
2016
8 years 8 months 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 algeb...
Majid Alizadeh, Mohammad Ardeshir, Wim Ruitenburg