[net.math] 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 ***

eisinger@uklirb.UUCP (09/01/85)

/***** uklirb:net.math / sun!alberto /  6:48 am  Aug 29, 1985*/

 
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


The most active group is at ANU. Contact Michael McRobbie or Bob Meyer,
     Dept. of Philosophy
     Australian National University
     G.P.O. Box 4
     Canberra, Australia

I don't know whether they have any net access.

         Norbert Eisinger, ...!mcvax!unido!uklirb!eisinger