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