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

  Browse A-Z

Log in

Cambridge users (raven)details Other usersdetails No account?details

Information on

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

Constructive Classical Logic?

Add to your list(s) 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.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

CUCS Methodology in design research CMS Events

Other talks

Turbulence over rough/textured walls does not obey Navier-Stokes equations Optimisation Training for Industry (Physical) Ethics of Energy - Cambridge Festival 2022 Composite Models and the Need to go Beyond just Modelling Epidemics to Understand Epidemics How quasi-steady is the modulation of near-wall turbulence by large-scale structures? Standard and fractional reflected OU processes in connection to square roots of CIR processes
 

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