University of Cambridge > Talks.cam > Logic & Semantics for Dummies > Constructive Classical Logic?

  Browse A-Z

Log in

Googledetails Microsoftdetails

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹ️ Information

Constructive Classical Logic?

Download to your calendar using vCal

If you have a question about this talk, please contact Alex Rice .

We review foundational definitions of intuitionistic logic, and constructive proof. The extension of these ideas to paraconsistent logic, and constructive refutation are explored. Finally a presentation of a logic which admits (a form of) classical principles such as excluded-middle is given. Finally connections with linear logic are made. This is based off of work and observations by M. Shulman [ arXiv:1805.07518 ]

This talk is part of the Logic & Semantics for Dummies series.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Type the title of a new list here Hodgkin–Huxley Seminar Room Physiology Building, Downing Site CB2 3DY Cambridge Registration for Webinar: https://u-tokyo-ac-jp.zoom.us/meeting/register/tZctc-yqqT4jGNBhA04F8tQEgYhwnato4yOX

Other talks

Advances in Label-Free High-Resolution Molecular Imaging using J Series III Cluster SIMS TBC In conversation: Louis Herns Marcelin and Ola Osman on legacies of enslavement and contemporary violence in Liberia and Haiti Kirk Public Lecture: Title TBC Afternoon Break Cambridge RNA Club - ONLINE
 

© 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity