home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #1 / NN_1993_1.iso / spool / sci / logic / 2581 < prev    next >
Encoding:
Text File  |  1993-01-12  |  2.0 KB  |  43 lines
  1. Newsgroups: sci.logic
  2. Path: sparky!uunet!haven.umd.edu!darwin.sura.net!newsserver.jvnc.net!yale.edu!ira.uka.de!Germany.EU.net!urmel.informatik.rwth-aachen.de!solaris.rz.tu-clausthal.de!unios!dosuni1.rz.uni-osnabrueck.de!DUENTSCH
  3. From: duentsch@dosuni1.rz.uni-osnabrueck.de (Ivo Duentsch)
  4. Subject: Re: Multiple Truth Values
  5. Message-ID: <16B547633.DUENTSCH@dosuni1.rz.uni-osnabrueck.de>
  6. Sender: news@unios.rz.Uni-Osnabrueck.DE
  7. Organization: University of Osnabrueck, FRG
  8. 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>
  9. Date: Tue, 12 Jan 1993 07:24:02 GMT
  10. Lines: 31
  11.  
  12. In article <1993Jan10.005215.13278@CSD-NewsHost.Stanford.EDU>
  13. pratt@Sunburn.Stanford.EDU (Vaughan R. Pratt) writes:
  14.  
  15. >Unfortunately there is no one place to look for the bulk of the
  16. >worthwhile material.  Despite its antiquity Birkhoff's Lattice Theory
  17. >remains an encyclopedic starting point (rather like a volume of Knuth),
  18. >but does not reflect the last three decades of development, whose
  19. >impact can be felt at all levels, even the most elementary.  The
  20. >algebra of truth values is a very rich subject today, from bottom to
  21. >top, that is not adequately served by its literature.
  22.  
  23. However, there are now - or will be shortly - some comprehensive
  24. texts reflecting the state of the art of the subject:
  25.  
  26. 1. The proceedings of the conference on algebraic logic, Budapest 1988,
  27. Coll Math Soc Janos Bolyai 54
  28.  
  29. 2. The proceedings of the logic semester at the Banach Center, Warsaw,
  30. Banach Center Publ 28, to appear 1993, as well as special issue of
  31. Fund Inf
  32.  
  33. 3. Istvan Nemeti's survey article "Algebraizations of quantifier logics,
  34. an introductory overview", now in its 11th version,
  35. to appear in Studia Logica.
  36.  
  37. And don't forget Rasiowa & Sikorski "The mathematics of metamathematics",
  38. quite old but still rather useful and good to read (though
  39. others may think differently).
  40.  
  41. Ivo Duentsch
  42. Univ. Osnabrueck
  43.