PRL Seminars

Alexei Kopylov


Linear Logic


October 18, 1999


Comment

I'll give the definition of linear logic and try to explain its rules.
Also I'm going to show Girard's embedding of intuitionistic logic into linear logic.

Slides

Inference rules of Linear Logic
Other slides
Home