Title: Term Models of Horn Clauses over Rational Pavelka Predicate Logic,
Abstract: This paper is a contribution to the study of the universal Horn fragment of
predicate fuzzy logics, focusing on the proof of the existence of free models
of theories of Horn clauses over Rational Pavelka predicate logic. We define
the notion of a term structure associated to every consistent theory T over
Rational Pavelka predicate logic and we prove that the term models of T are
free on the class of all models of T. Finally, it is shown that if T is a set
of Horn clauses, the term structure associated to T is a model of T.