Vitalsource Technologies, Inc. Paraconsistency: Logic And Applications