BEGIN:VCALENDAR
PRODID:-//Grails iCalendar plugin//NONSGML Grails iCalendar plugin//EN
VERSION:2.0
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260607T115751Z
DTSTART;TZID=Australia/Melbourne:20170413T121500
DTEND;TZID=Australia/Melbourne:20170413T141500
SUMMARY:Use in Logic
UID:20260615T105855Z-iCalPlugin-Grails@philevents-web-bd7db559-gt5qm
TZID:Australia/Melbourne
LOCATION:Old Physics Building\, Melbourne University\, Australia\, 3010
DESCRIPTION:<p>Abstract: One of the motivations given by Anderson and Belnap for their logics E and R was the Use Criterion\, which said that in the derivation of a conditional\, the antecedent had to be used to obtain the consequent. The Use Criterion largely dropped out of subsequent work on relevant logics. I will present an interpretation of proofs in terms of informational flow that\, I think\, captures a core idea of the Use Criterion. I briefly explain how this can be used to respond to some objections to the Use Criterion. (This is a talk for generalists\, and it will not assume any particular logical background.)</p>
ORGANIZER:
METHOD:PUBLISH
END:VEVENT
END:VCALENDAR