Is there a logic that...

Is there a logic that would capture inferences like:

-"John is very rich" --> "John is rich"
-"John is very very very very rich"--->"John is very rich"

Obviously it won't do to say "rich(John) ^ very (John)".