home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / sci / logic / 2044 next >
Encoding:
Text File  |  1992-11-15  |  1.1 KB  |  28 lines
  1. Newsgroups: sci.logic
  2. Path: sparky!uunet!convex!darwin.sura.net!wupost!sdd.hp.com!elroy.jpl.nasa.gov!ucla-cs!ucla-ma!sonia!hbe
  3. From: hbe@sonia.math.ucla.edu (H. Enderton)
  4. Subject: Re: Looking for references on IF-THEN-ELSE connectives
  5. Message-ID: <1992Nov15.183208.12611@math.ucla.edu>
  6. Sender: news@math.ucla.edu
  7. Organization: UCLA Mathematics Department
  8. References: <POSEGGA.92Nov13122538@margaux.ira.uka.de>
  9. Distribution: sci
  10. Date: Sun, 15 Nov 92 18:32:08 GMT
  11. Lines: 15
  12.  
  13. In article <POSEGGA.92Nov13122538@margaux.ira.uka.de>
  14. posegga@margaux.ira.uka.de (Joachim Posegga) writes:
  15. >I am looking for references on ternary IF-THEN-ELSE connectives in
  16. >logic. Church, for instance, treats expressions of the form [A,B,C],
  17. >meaning "(B -> A) & (~B -> C)", in his book "Introduction to
  18. >mathematical logic".
  19. >Does anyone know of other papers/books on this? I am aware of Bauer &
  20. >Wirsing (1991), Orlowska (1967 and 1969), and Shannon (1938).
  21.  
  22. A number of older works treating this ternary connective can be
  23. found by looking in the JSL subject indexes (volumes 26 and 45)
  24. under "conditioned disjunction."
  25.  
  26. ---Herb Enderton    (hbe@math.ucla.edu)
  27.  
  28.