The many valued and non-monotonic turn in logic. (2007)