home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #26 / NN_1992_26.iso / spool / sci / logic / 2025 < prev    next >
Encoding:
Text File  |  1992-11-13  |  1.3 KB  |  32 lines
  1. Newsgroups: sci.logic
  2. Path: sparky!uunet!spool.mu.edu!yale.edu!ira.uka.de!ira.uka.de!rz.uni-karlsruhe.de!news.rz.uni-karlsruhe.de!posegga
  3. From: posegga@margaux.ira.uka.de (Joachim Posegga)
  4. Subject: Looking for references on IF-THEN-ELSE connectives
  5. Message-ID: <POSEGGA.92Nov13122538@margaux.ira.uka.de>
  6. Sender: usenet@rz.uni-karlsruhe.de (USENET 'No news is bad news' News System)
  7. Organization: Karlsruhe University, Dept of Comp Science, FRG
  8. Distribution: sci
  9. Date: Fri, 13 Nov 1992 11:25:38 GMT
  10. Lines: 20
  11.  
  12.  
  13. I am looking for references on ternary IF-THEN-ELSE connectives in
  14. logic. Church, for instance, treats expressions of the form [A,B,C],
  15. meaning "(B -> A) & (~B -> C)", in his book "Introduction to
  16. mathematical logic".
  17.  
  18. Does anyone know of other papers/books on this? I am aware of Bauer &
  19. Wirsing (1991), Orlowska (1967 and 1969), and Shannon (1938).
  20.  
  21. I am not looking for references on BDDs, which are closely related to
  22. this, but on publications written from a logical point of view. The
  23. reason I am asking is that I am writing a paper on BDDs and intend to
  24. give a brief description of the (historical) background. So, references
  25. to early publications are appreciated as well.
  26.  
  27. As this is probably not of general interest, please respond by email.
  28.  
  29. Thanks in advance
  30.  
  31.     Joachim.
  32.