Gentzen-type Proof Systems for Non-classical Logics - Yehonathan Zohar (2018)