Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.2 9/18/84 SMI; site sun.uucp
Path: utzoo!watmath!clyde!burl!ulysses!ucbvax!decvax!decwrl!sun!alberto
From: alberto@sun.uucp (Alberto Savoia)
Newsgroups: net.math,net.math.symbolic
Subject: RELEVANT LOGIC
Message-ID: <2721@sun.uucp>
Date: Wed, 28-Aug-85 16:48:41 EDT
Article-I.D.: sun.2721
Posted: Wed Aug 28 16:48:41 1985
Date-Received: Sat, 31-Aug-85 05:49:04 EDT
Organization: Sun Microsystems, Inc.
Lines: 12
Xref: watmath net.math:2222 net.math.symbolic:94


 
My work in formal proofs of programs has led me to some
development that I have been told is called RELEVANT
LOGIC.  I would be very grateful if anybody could point out
names, papers or books which treat the subject.


Thanks in advance.

        alberto@sole
*** REPLACE THIS LINE WITH YOUR MESSAGE ***