BEGIN:VCALENDAR
PRODID:-//Grails iCalendar plugin//NONSGML Grails iCalendar plugin//EN
VERSION:2.0
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260607T015054Z
DTSTART;TZID=America/New_York:20171103T100000
DTEND;TZID=America/New_York:20171103T113000
SUMMARY:Theories of Entailment
UID:20260614T003719Z-iCalPlugin-Grails@philevents-web-bd7db559-gt5qm
TZID:America/New_York
LOCATION:University of Connecticut\, Storrs\, United States\, 06269
DESCRIPTION:<p>Abstract: One traditional role of a logic of a logic of entailment is as a set of closure principles for theories. Looking at logics in this way\, and as theories themselves\, can be very interesting. A logic determines a closure operator (in Tarski&rsquo\;s sense) on sets of formulas. The theories generated by a closure operator themselves (sometimes) determine closure operators. Looking at the space of theories generated by a &ldquo\;master theory&rdquo\;\, and the interaction of the closure operators that they determine\, I motivate a variety of different logical systems.</p>
ORGANIZER:
METHOD:PUBLISH
END:VEVENT
END:VCALENDAR