Vitalsource Technologies, Inc. Formale Logik und Grammatik