KnowledgeBase » SEMINAR » ID = 527

Linear Logic

by Alexei Kopylov
1999-2000

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