On the existence of free models in fuzzy universal Horn classes

Vicent Costa, Pilar Dellunde
2017 Journal of Applied Logic  
This paper is a contribution to the study of the universal Horn fragment of predicate fuzzy logics, focusing on some relevant notions in logic programming. We introduce the notion of term structure associated to a set of formulas in the fuzzy context and we show the existence of free models in fuzzy universal Horn classes. We prove that every equality-free consistent universal Horn fuzzy theory has a Herbrand model.
doi:10.1016/j.jal.2016.11.002 fatcat:nb2ob5i7crhrja26itmmzt3wve