Title: Arnon Avron on Semantics and Proof Theory of Non-Classical Logics