Semantic analysis of classical and polarized calculi

Vikraman Choudhury

University of Strathclyde



Abstract: Classical logic can be given a computational interpretation via dual calculi, control operators, or polarization in classical linear logic. These are often explained in terms of proof theory and reduction semantics. I will try to give an alternative, expository viewpoint on these ideas, starting from a categorical point of view.