Structural Analysis of Non-Classical Logics - Yang, Syraya Chin-Mu; Deng, Duen-Min; Lin, Hanti (Springer Berlin Heidelberg, 2016)