YoVDO

An Introduction to Tensorial Logic and Dialogue Categories

Offered By: Hausdorff Center for Mathematics via YouTube

Tags

Logic Courses Proof Theory Courses

Course Description

Overview

Explore the foundations of tensorial logic and its relationship to dialogue games and categories in this 33-minute lecture by Paul Andre Mellies. Delve into a primitive logic of tensor and negation that refines linear logic by relaxing the hypothesis of involutive linear negation. Discover how tensorial logic provides a proof-theoretic and algebraic account of the dialogical interpretation of proofs and programs, while examining the mechanisms at work in double negation translations. Gain insights into the connections between tensorial logic, dialogue games, and dialogue categories. For those interested in further exploration, additional resources on tensorial logic and related topics are provided.

Syllabus

Paul Andre Mellies: An introduction to tensorial logic and dialogue categories


Taught by

Hausdorff Center for Mathematics

Related Courses

Language, Proof and Logic
Stanford University via edX
Proof Theory Impressionism - Blurring the Curry-Howard Line
Strange Loop Conference via YouTube
Topics in Pure Model Theory - Lecture 10
Fields Institute via YouTube
David Cerna: Proof Schema and the Refutational Complexity of Their Cut Structure
Hausdorff Center for Mathematics via YouTube
Graham Leigh: On the Computational Content of Classical Sequent Calculus
Hausdorff Center for Mathematics via YouTube