Structural Analysis of Non-Classical Logics - Yang, Syraya Chin-Mu (Springer Berlin Heidelberg, 2016)