Title: The semantics and proof theory of linear logic