BEGIN:VCALENDAR
PRODID:-//Columba Systems Ltd//NONSGML CPNG/SpringViewer/ICal Output/3.3-
M3//EN
VERSION:2.0
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20231009T124603Z
DTSTART:20231011T141500Z
DTEND:20231011T151500Z
SUMMARY:Logic seminar:Adrian Miranda (Manchester)
UID:{http://www.columbasystems.com/customers/uom/gpp/eventid/}o225-lnivzo
4w-z0y4i6
DESCRIPTION:Title: Categorical Models of Linear Logic\n\nAbstract: One of
the main ways in which Linear Logic differs from more familiar logical
systems is that assumptions must be used in proofs exactly as many times
as they are made\, without being discarded or duplicated. In particular
\, the following properties of "and" may not hold in general.\n\nP |- P
and P\nP and Q |- P\n\nI will discuss how Linear Logic can be modelled u
sing symmetric monoidal categories\, and how certain extra structure all
ows one to extract the classical fragment. Time permitting I will discus
s richer logical structures\, such as implications\, disjunctions or neg
ations\, can also be modelled in a similar way. \n
STATUS:TENTATIVE
TRANSP:TRANSPARENT
CLASS:PUBLIC
LOCATION:Frank Adams 1 (and zoom\, link in email)\, Alan Turing Building\
, Manchester
END:VEVENT
END:VCALENDAR