Describir: The many valued and non-monotonic turn in logic /