Gravar-mail: Logic of approximate entailment in quasimetric and in metric spaces