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

  Browse A-Z

Log in

University Account External (via Google)

🔐 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

Cambridge University Global Health Society MRC-CBU, 15 Chaucer Road, Cambridge - Lecture Theatre and Zoom Average on Sundays: 7274.04807692 kWh

Other talks

Title to be confirmed Cultural evolution creates language-like structure: from humans to humpback whales and beyond CSAR lecture: In a post-Ozempic world, have we cured obesity? John Kendrew Lecture - Title TBC CUSCRS and Renal Medicine Title TBC
 

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