TY - RPRT TI - Logic of Approximate Entailment in quasimetric spaces AU - Thomas Vetterlein PY - 2018 UR - https://arxiv.org/abs/1808.10320 ID - 1808.10320 ER -