BEGIN:VCALENDAR
PRODID:-//Grails iCalendar plugin//NONSGML Grails iCalendar plugin//EN
VERSION:2.0
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260711T021958Z
DTSTART;TZID=Australia/Melbourne:20170413T121500
DTEND;TZID=Australia/Melbourne:20170413T141500
SUMMARY:Use in Logic
UID:20260715T233857Z-iCalPlugin-Grails@fe80:0:0:0:5864:16ff:fe1a:92fe%3
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