home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #1 / NN_1993_1.iso / spool / sci / logic / 2580 < prev    next >
Encoding:
Text File  |  1993-01-12  |  1.2 KB  |  26 lines
  1. Newsgroups: sci.logic
  2. Path: sparky!uunet!stanford.edu!CSD-NewsHost.Stanford.EDU!Sunburn.Stanford.EDU!pratt
  3. From: pratt@Sunburn.Stanford.EDU (Vaughan R. Pratt)
  4. Subject: Re: Multiple Truth Values
  5. Message-ID: <1993Jan12.073110.18949@CSD-NewsHost.Stanford.EDU>
  6. Sender: news@CSD-NewsHost.Stanford.EDU
  7. Organization: Computer Science Department,  Stanford University.
  8. References: <1993Jan9.191854.10303@dcs.qmw.ac.uk> <1993Jan10.005215.13278@CSD-NewsHost.Stanford.EDU> <1993Jan12.010844.14146@galois.mit.edu>
  9. Date: Tue, 12 Jan 1993 07:31:10 GMT
  10. Lines: 14
  11.  
  12. In article <1993Jan12.010844.14146@galois.mit.edu> jbaez@riesz.mit.edu (John C. Baez) writes:
  13. >In article <1993Jan10.005215.13278@CSD-NewsHost.Stanford.EDU> pratt@Sunburn.Stanford.EDU (Vaughan R. Pratt) writes:
  14. >>Let me strongly recommend Birkhoff's Lattice Theory [...]
  15. >
  16. >Also, if you are feeling adventurous and willing to drop distributivity,
  17.  ^^^^
  18. >you might check out the extensive literature on quantum logics.
  19.  
  20. For this let me strongly recommend Birkhoff's Lattice Theory.  Sections
  21. II.14 (pp.52-54), XI.11 (pp.273-276), and XII.6 (pp.284-286) together
  22. pack more useful information about quantum logic into 8 pages than any
  23. other single reference I know.
  24. -- 
  25. Vaughan Pratt            There's safety in large condition numbers.
  26.