[FOM] Some informative questions about intuitionistic logic and mathematics

[Thomas Forster]

On the subject of intuitionists not denying bivalence (Thank you, 
Richard, for that interesting posting) it may be worth noting that 
constructive propositional logic explicitly denies that there are 
more than two truth values.  The sequent


-(A <--> B), -(B <--> C), -(C <--> A) |-

(which says roughly that A, B and C cannot all have different truth-values)

is constructively correct..... but hard! It's guaranteed to 
keep even quite good students out of mischief for several hours

  URL: www.dpmms.cam.ac.uk/~tf   Tel: +44-1223-337981
  (U Cambridge); +44-20-7882-3659 (QMW); +32-2-650-5853 (ULB)