For example, I have heard of a topological one wherein negation means the interior of the complement (but still would like a reference).
What are good elementary examples for teaching/introducing/learning about Intuitionistic Logic or Heyting Algebras?
2
$\begingroup$
logic
education
-
0The wikipedia entry for intuitionistic logic http://en.wikipedia.org/wiki/Intuitionistic_logic gives some references and in particular has a little bit to say about the topological interpretation you aluded to. See the section "Heyting Algebra Semantics". – 2010-10-22