Vitalsource Technologies, Inc. Many Valued And Nonmonotonic Turn In Logic