Sciweavers

Share
1 search results - page 1 / 1
» ndjfl 2016
Sort
View
NDJFL
2016
3 years 11 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 algeb...
Majid Alizadeh, Mohammad Ardeshir, Wim Ruitenburg
books