Paul Shafer (University of Leeds) – Recursion-theoretic interpretation of propositional logic

Category: Logic
Date: Wednesday 1 October 2025, 15:00 @ MALL 1, online

Date: Wednesday 1 October 2025, 15:00 @ MALL 1, online, 15:00
Location: MALL 1, online
Speaker: Paul Shafer
Affiliation: University of Leeds
Category: Logic

We survey how initial segments of the Medvedev degrees can be used to interpret the classical propositional calculus, the intuitionistic propositional calculus, and the logic of weak excluded middle.