This is a non-monotonic logic that allows for deduction to be partially based on relevance, rather than just truth values.