KnowledgeBase » 
SEMINAR
» ID = 525
Decidability of Linear Affine Logic
by Alexei Kopylov
1999-2000
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.