§ Introduction to substructural logics: Ch1

§ Terminology

§ Logic as talking about strings

§ Tensor versus conjunction as vector spaces

§ Cut and admissibility