home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #1 / NN_1993_1.iso / spool / sci / logic / 2572 < prev    next >
Encoding:
Internet Message Format  |  1993-01-11  |  1.4 KB
  1. Path: sparky!uunet!pipex!bnr.co.uk!uknet!qmw-dcs!arodgers
  2. From: arodgers@dcs.qmw.ac.uk (Angus H Rodgers)
  3. Newsgroups: sci.logic
  4. Subject: Re: Multiple Truth Values
  5. Message-ID: <1993Jan11.194737.11729@dcs.qmw.ac.uk>
  6. Date: 11 Jan 93 19:47:37 GMT
  7. References: <1993Jan8.223915.17370@cs.sfu.ca> <1993Jan9.185347.9555@CSD-NewsHost.Stanford.EDU> <1993Jan9.191854.10303@dcs.qmw.ac.uk> <1993Jan10.005215.13278@CSD-NewsHost.Stanford.EDU>
  8. Sender: usenet@dcs.qmw.ac.uk (Usenet News System)
  9. Organization: Computer Science Dept, QMW, University of London
  10. Lines: 20
  11. Nntp-Posting-Host: io.dcs.qmw.ac.uk
  12.  
  13. In <1993Jan10.005215.13278@CSD-NewsHost.Stanford.EDU>
  14. pratt@Sunburn.Stanford.EDU (Vaughan R. Pratt) writes:
  15.  
  16. >(I hope you can see my tongue sticking well into my
  17. >cheek.)
  18.  
  19. Thanks to the telescope which you have just provided, yes. :-)
  20.  
  21. [Much interesting stuff deleted; thanks again.]
  22.  
  23. >[...] double negation
  24. >served to retract a Heyting algebra onto a Boolean subalgebra of it
  25.  
  26. Is this by any chance related to the construction of the regular open
  27. algebra of a topological space?
  28. --
  29. Gus Rodgers,  Dept. of Computer Science, | Cinema's worst romantic dialogue? --
  30. Queen Mary & Westfield College, Mile End | "Mechagodzilla's brain is  installed
  31. Road, London, England.   +44 71 975 5241 | in my stomach!" "I don't care if you
  32. E-mail (JANET):   arodgers@dcs.qmw.ac.uk | are a cyborg  --  I still love you!"
  33.