Structural Analysis of Non-Classical Logics