home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #1 / NN_1993_1.iso / spool / sci / logic / 2578 < prev    next >
Encoding:
Text File  |  1993-01-11  |  1.5 KB  |  36 lines
  1. Newsgroups: sci.logic
  2. Path: sparky!uunet!zaphod.mps.ohio-state.edu!sdd.hp.com!usc!howland.reston.ans.net!spool.mu.edu!enterpoop.mit.edu!galois!riesz!jbaez
  3. From: jbaez@riesz.mit.edu (John C. Baez)
  4. Subject: Re: Multiple Truth Values
  5. Message-ID: <1993Jan12.010844.14146@galois.mit.edu>
  6. Sender: news@galois.mit.edu
  7. Nntp-Posting-Host: riesz
  8. Organization: MIT Department of Mathematics, Cambridge, MA
  9. References: <1993Jan9.185347.9555@CSD-NewsHost.Stanford.EDU> <1993Jan9.191854.10303@dcs.qmw.ac.uk> <1993Jan10.005215.13278@CSD-NewsHost.Stanford.EDU>
  10. Date: Tue, 12 Jan 93 01:08:44 GMT
  11. Lines: 23
  12.  
  13. In article <1993Jan10.005215.13278@CSD-NewsHost.Stanford.EDU> pratt@Sunburn.Stanford.EDU (Vaughan R. Pratt) writes:
  14. >In article <1993Jan9.191854.10303@dcs.qmw.ac.uk> arodgers@dcs.qmw.ac.uk (Angus H Rodgers) writes:
  15.  
  16. >>Do you have any references to more adequate studies of the algebra(s)
  17. >>of truth values?
  18. >
  19. >Let me strongly recommend Birkhoff's Lattice Theory, if you don't mind
  20. >impact can be felt at all levels, even the most elementary.  The
  21. >algebra of truth values is a very rich subject today, from bottom to
  22. >top, that is not adequately served by its literature.  [Further
  23. references deleted.]
  24.  
  25. Also, if you are feeling adventurous and willing to drop distributivity,
  26. you might check out the extensive literature on quantum logics.  For
  27. starters, try 
  28.  
  29. The Logico-algebraic approach to quantum mechanics / edited by C. A.
  30. Hooker.  
  31.    Dordrecht ; Boston : D. Reidel Pub. Co., [1975]-1979.
  32.  
  33.  
  34.  
  35.  
  36.