BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Constructive Classical Logic? - David Berry
DTSTART:20220310T110000Z
DTEND:20220310T120000Z
UID:TALK171479@talks.cam.ac.uk
CONTACT:Alex Rice
DESCRIPTION:We review foundational definitions of intuitionistic logic\, a
 nd constructive proof. The extension of these ideas to paraconsistent logi
 c\, and constructive refutation are explored. Finally a presentation of a 
 logic which admits (a form of) classical principles such as excluded-middl
 e is given. Finally connections with linear logic are made. This is based 
 off of work and observations by M. Shulman [ "arXiv:1805.07518":https://ar
 xiv.org/abs/1805.07518 ]
LOCATION: FW09 - William Gates Building
END:VEVENT
END:VCALENDAR