BEGIN:VCALENDAR
PRODID:-//eluceo/ical//2.0/EN
VERSION:2.0
CALSCALE:GREGORIAN
BEGIN:VEVENT
UID:35cdcdc87d4d5d176756a84f6e1b8029
DTSTAMP:20260611T002035Z
SUMMARY:Intelim rules for classical connectives (David Makinson\, LSE)
DESCRIPTION:Abstract:\nIntroduction and elimination (briefly intelim) rules
  are in a natural sense the simplest of all Horn rules for propositional c
 onnectives. They have also played a prominent role in some philosophical d
 iscussions of the meaning of the connectives. For this reason\, their beha
 viour has more than a purely formal interest. \nWe consider two questions 
 about such rules for classical connectives: the existence\, for a given tr
 uth-functional connective\, of at least one such rule that it satisfies\, 
 and the uniqueness of a connective with respect to the set of all of them.
  The answers are easy and well known in the context of rules using set/set
  sequents of formulae\, but more complex and interesting for the restricte
 d (and more often used) context of set/formula sequents on which we focus\
 , as well as for the set/formula-or-empty context\, which we also describe
  briefly if time available.\nBio:\nProfessor David Clement Makinson is cur
 rently Visiting Professor in the Department of Philosophy\, Logic and Sci
 entific Method\, London School of Economics (LSE). He has been a Senior Re
 search Fellow  in the Department of Computer Science\, King’s College L
 ondon\,Chairman of the Department in the American University of Beirut\, L
 ebanon\, and Programme Specialist with Unesco.  \nHis  field of research 
 is Logic and its relations with other disciplines\,  particularly philosop
 hy and computer science. His most recent research  has been on: \n\nUncer
 tain reasoning: qualitative and quantitative and their interconnections \n
 Parallel interpolation and its application \nRelevance criteria for belief
  change operations \nInput/output logics\, logics of directives and norms 
 \nThe concept of logical friendliness\n
URL:https://www.imperial.ac.uk/events/108270/intelim-rules-for-classical-co
 nnectives-david-makinson-lse/
DTSTART;TZID=Europe/London:20130606T160000
DTEND;TZID=Europe/London:20130606T170000
LOCATION:United Kingdom
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/London
BEGIN:DAYLIGHT
DTSTART:20130606T160000
TZNAME:BST
TZOFFSETTO:+0100
TZOFFSETFROM:+0100
END:DAYLIGHT
END:VTIMEZONE
END:VCALENDAR