Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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.

share|cite|improve this question
Priest, An Introduction to Non-Classical Logic: From If to Is – Ben Crowell Dec 30 '11 at 1:38
"... where the truth values are open sets ..." suggests modal logics such as S4 and S5, where the modal operators satisfy the Kuratowski axioms. This is mentioned briefly in various texts but I'm not sure what you're looking for exactly, and don't know of any with "lots of examples and models." – MikeC Dec 30 '11 at 4:36
Thanks, this gives me a starting point. – Elvis Dec 30 '11 at 7:46

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.