Arnon Avron

• The semantics and proof theory of linear logic