[net.math.symbolic] RELEVANT LOGIC

alberto@sun.uucp (Alberto Savoia) (08/28/85)

 
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 ***