TY - RPRT TI - Logic for approximate entailment in ordered universes of discourse AU - Francesc Esteva AU - LluĂ­s Godo AU - Thomas Vetterlein PY - 2018 UR - https://arxiv.org/abs/1808.10312 ID - 1808.10312 ER -