# * 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.