I am looking for a good introduction to this topic... something with lots of examples and models would be nice.
I am specially interested by the case where the truth values are open sets in a topological set, and in general by applications to intuitionistic logic; and, maybe, to topos theory...
Thanks in advance.