Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: notesnews 0.1 (unido 12/05/84); site unido.UUCP
Path: utzoo!watmath!clyde!burl!ulysses!gamma!epsilon!zeta!sabre!petrus!bellcore!decvax!genrad!panda!talcott!harvard!seismo!mcvax!unido!uklirb!eisinger
From: eisinger@uklirb.UUCP
Newsgroups: net.math
Subject: Re: RELEVANT LOGIC
Message-ID: <7800001@uklirb.UUCP>
Date: Sun, 1-Sep-85 14:22:00 EDT
Article-I.D.: uklirb.7800001
Posted: Sun Sep  1 14:22:00 1985
Date-Received: Tue, 3-Sep-85 01:35:12 EDT
References: <2721@sun.UUCP>
Sender: notes@unido.UUCP
Lines: 24
Nf-ID: #R:sun:-272100:uklirb:7800001:000:614
Nf-From: uklirb!eisinger    Sep  1 16:22:00 1985

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