Article View: sci.logic
Article #237Re: John Etchemendy
From: Vaughan R. Pratt
Date: Thu, 08 Oct 1992 03:52
Date: Thu, 08 Oct 1992 03:52
15 lines
1227 bytes
1227 bytes
In article <1992Oct7.065815.25425@klaava.Helsinki.FI> amnell@klaava.Helsinki.FI (Marko Amnell) writes: >On an unrelated note, I have in front of me a new book by Etchemendy, >_The Concept of Logical Consequence_. Related to this is the paper by Fagin, Halpern, and Vardi, "What is an inference rule?", in the current issue of J. Symbolic Logic, 57:3 1018-1045, Sept. 1992. The paper introduces a general semantic framework for exploring various meanings of "inference" ranging from validity to truth inference. -- =================================================== In short, I am floundering Vaughan Pratt pratt@cs.Stanford.EDU 415-494-2545 around and don't take what =================================================== I say seriously.
Technical Details
Message-ID:
<1992Oct8.035223.20964@CSD-NewsHost.Stanford.EDU>Path:
arc1-ca.pugleaf.net!sparky!uunet!stanford.edu!CSD-NewsHost.Stanford.EDU!Sunburn.Stanford.EDU!prattReferences:
<1992Oct7.065815.25425@klaava.Helsinki.FI>Show Full Headers
Complete Article Headers
Newsgroups: sci.logic Path: arc1-ca.pugleaf.net!sparky!uunet!stanford.edu!CSD-NewsHost.Stanford.EDU!Sunburn.Stanford.EDU!pratt From: pratt@Sunburn.Stanford.EDU (Vaughan R. Pratt) Subject: Re: John Etchemendy Message-ID: <1992Oct8.035223.20964@CSD-NewsHost.Stanford.EDU> Sender: news@CSD-NewsHost.Stanford.EDU Organization: Computer Science Department, Stanford University. References: <1992Oct7.065815.25425@klaava.Helsinki.FI> Date: Thu, 8 Oct 1992 03:52:23 GMT Lines: 15