194
click to vote
NDJFL
10 years 10 days ago
2016 
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...
|
Computer Networks