home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #23 / NN_1992_23.iso / spool / sci / logic / 1679 < prev    next >
Encoding:
Text File  |  1992-10-07  |  1.2 KB  |  27 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: John Etchemendy
  5. Message-ID: <1992Oct8.035223.20964@CSD-NewsHost.Stanford.EDU>
  6. Sender: news@CSD-NewsHost.Stanford.EDU
  7. Organization: Computer Science Department,  Stanford University.
  8. References: <1992Oct7.065815.25425@klaava.Helsinki.FI>
  9. Date: Thu, 8 Oct 1992 03:52:23 GMT
  10. Lines: 15
  11.  
  12. In article <1992Oct7.065815.25425@klaava.Helsinki.FI> amnell@klaava.Helsinki.FI (Marko Amnell) writes:
  13. >On an unrelated note, I have in front of me a new book by Etchemendy,
  14. >_The Concept of Logical Consequence_.
  15.  
  16.  
  17. Related to this is the paper by Fagin, Halpern, and Vardi, "What is an
  18. inference rule?", in the current issue of J. Symbolic Logic, 57:3
  19. 1018-1045, Sept. 1992.  The paper introduces a general semantic
  20. framework for exploring various meanings of "inference" ranging from
  21. validity to truth inference.
  22.  
  23. -- 
  24. =================================================== In short, I am floundering
  25. Vaughan Pratt   pratt@cs.Stanford.EDU  415-494-2545 around and don't take what
  26. =================================================== I say seriously.
  27.