TY - RPRT TI - Term Models of Horn Clauses over Rational Pavelka Predicate Logic AU - Vicent Costa AU - Pilar Dellunde PY - 2017 UR - https://arxiv.org/abs/1705.09572 ID - 1705.09572 ER -