Vitalsource Technologies, Inc. Structural Analysis Of Non-classical Logics