Vitalsource Technologies, Inc. Protoalgebraic Logics